Double click to show/hide
0: main
14: ERC1155Action.safeTransferFrom
15: FreeCollateralExternal.checkFreeCollateralAndRevert
16: FreeCollateralExternal.checkFreeCollateralAndRevert
17: SettleAssetsExternal.settleAssetsAndReturnPortfolio
18: SettleAssetsExternal.settleAssetsAndReturnPortfolio
19: SettleAssetsExternal.settleAssetsAndFinalize
20: SettleAssetsExternal.settleAssetsAndFinalize
PresimplifiedRule-accountContextMustBeReadAndWrittenExactlyOnce-safeTransferFrom(address,address,uint256,uint256,bytes)_main 0_0_0_0_0_0_0_0 0_0_0_0_0_0_0_0 43_0_0_0_0_0_0_0 43_0_0_0_0_0_0_0 0_0_0_0_0_0_0_0->43_0_0_0_0_0_0_0 !certora_balanceCheck14:bool 44_0_0_0_0_0_0_0 44_0_0_0_0_0_0_0 0_0_0_0_0_0_0_0->44_0_0_0_0_0_0_0 certora_balanceCheck14:bool 14: ERC1155Action.safeTransferFrom 14: ERC1155Action.safeTransferFrom 43_0_0_0_0_0_0_0->14: ERC1155Action.safeTransferFrom 45_0_0_0_0_0_0_1 45_0_0_0_0_0_0_1 44_0_0_0_0_0_0_0->45_0_0_0_0_0_0_1 61_0_0_0_0_0_0_0 61_0_0_0_0_0_0_0 61_0_0_0_0_0_0_0->45_0_0_0_0_0_0_1 14: ERC1155Action.safeTransferFrom->61_0_0_0_0_0_0_0
Block 0_0_0_0_0_0_0_0: f.selector = 0xf242432a
f.isPure = false
f.isView = false
f.isPayable = true
f.isFallback = false
TRANSIENT::MetaKey(name=cvl.label.start, typ=class java.lang.String)=multi contract setup::
currentContract = 0xce4604a000000000000000000000002a
TRANSIENT::MetaKey(name=cvl.label.end, typ=class java.lang.Boolean)=true::
TRANSIENT::MetaKey(name=cvl.label.start, typ=class java.lang.String)=rule parameters setup::
account = havoc
certoraTmpBool = (0x0<=account)&&(account<=0xffffffffffffffffffffffffffffffffffffffff)
assume certoraTmpBool
TRANSIENT::MetaKey(name=cvl.label.end, typ=class java.lang.Boolean)=true::
TRANSIENT::MetaKey(name=cvl.label.start, typ=class java.lang.String)=last storage initialize::
lastStorage!ce4604a000000000000000000000002a!0 = tacS!ce4604a000000000000000000000002a
lastStorage!ce4604a000000000000000000000002a!1 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000012)), offset=0)), offset=0))
lastStorage!ce4604a000000000000000000000002a!2 = tacS!ce4604a000000000000000000000002a!ArrayAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000013)), offset=0))
lastStorage!ce4604a000000000000000000000002a!3 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=1000001))
tacTmpreplacement54785 = tacS!ce4604a000000000000000000000002a!6!0
certoraTmpBool = (0x0<=tacTmpreplacement54785)&&(tacTmpreplacement54785<=0xffffffffffffffffffffffffffffffffffffffff)
assume certoraTmpBool
lastStorage!ce4604a000000000000000000000002a!4 = tacS!ce4604a000000000000000000000002a!6!0
lastStorage!ce4604a000000000000000000000002a!5 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=10))!0
lastStorage!ce4604a000000000000000000000002a!6 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=11)), offset=0))!0
lastStorage!ce4604a000000000000000000000002a!7 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=1000009))
lastStorage!ce4604a000000000000000000000002a!8 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000011)), offset=0))
lastStorage!ce4604a000000000000000000000002a!9 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=2))
lastStorage!ce4604a000000000000000000000002a!10 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=1))
lastStorage!ce4604a000000000000000000000002a!11 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000006)), offset=0))
lastStorage!ce4604a000000000000000000000002a!12 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000010)), offset=0)), offset=0))
lastStorage!ce4604a000000000000000000000002a!13 = tacS!ce4604a000000000000000000000002a!StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000010)), offset=0)), offset=0)), offset=1)
lastStorage!ce4604a000000000000000000000002a!14 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000008)), offset=0))
tacTmpreplacement54786 = tacS!ce4604a000000000000000000000002a!5!0
certoraTmpBool = (0x0<=tacTmpreplacement54786)&&(tacTmpreplacement54786<=0xffffffffffffffffffffffffffffffffffffffff)
assume certoraTmpBool
lastStorage!ce4604a000000000000000000000002a!15 = tacS!ce4604a000000000000000000000002a!5!0
tacTmpreplacement54787 = tacS!ce4604a000000000000000000000002a!3!0
certoraTmpBool = (0x0<=tacTmpreplacement54787)&&(tacTmpreplacement54787<=0xffffffffffffffffffffffffffffffffffffffff)
assume certoraTmpBool
lastStorage!ce4604a000000000000000000000002a!16 = tacS!ce4604a000000000000000000000002a!3!0
lastStorage!ce4604a0000000000000000000000028!0 = tacS!ce4604a0000000000000000000000028
lastStorage!ce4604a0000000000000000000000028!1 = tacS!ce4604a0000000000000000000000028!MapAccess(base=Root(slot=2))
lastStorage!ce4604a0000000000000000000000028!2 = tacS!ce4604a0000000000000000000000028!MapAccess(base=Root(slot=1))
lastStorage!ce4604a0000000000000000000000028!3 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000006)), offset=0))
lastStorage!ce4604a0000000000000000000000028!4 = tacS!ce4604a0000000000000000000000028!ArrayAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000013)), offset=0))
lastStorage!ce4604a0000000000000000000000028!5 = tacS!ce4604a0000000000000000000000028!MapAccess(base=Root(slot=1000009))
lastStorage!ce4604a0000000000000000000000028!6 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000011)), offset=0))
lastStorage!ce4604a0000000000000000000000028!7 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000010)), offset=0)), offset=0))
lastStorage!ce4604a0000000000000000000000028!8 = tacS!ce4604a0000000000000000000000028!StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000010)), offset=0)), offset=0)), offset=1)
lastStorage!ce4604a0000000000000000000000028!9 = tacS!ce4604a0000000000000000000000028!MapAccess(base=Root(slot=1000001))
lastStorage!ce4604a0000000000000000000000028!10 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000012)), offset=0)), offset=0))
lastStorage!ce4604a0000000000000000000000028!11 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000008)), offset=0))
lastStorage!ce4604a0000000000000000000000029!0 = tacS!ce4604a0000000000000000000000029
lastStorage!ce4604a0000000000000000000000029!1 = tacS!ce4604a0000000000000000000000029!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000006)), offset=0))
lastStorage!ce4604a0000000000000000000000029!2 = tacS!ce4604a0000000000000000000000029!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000011)), offset=0))
lastStorage!ce4604a0000000000000000000000029!3 = tacS!ce4604a0000000000000000000000029!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000012)), offset=0)), offset=0))
lastStorage!ce4604a0000000000000000000000029!4 = tacS!ce4604a0000000000000000000000029!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000008)), offset=0))
lastStorage!ce4604a0000000000000000000000029!5 = tacS!ce4604a0000000000000000000000029!ArrayAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000013)), offset=0))
lastStorage!ce4604a0000000000000000000000029!6 = tacS!ce4604a0000000000000000000000029!MapAccess(base=Root(slot=2))
lastStorage!tacBalance = tacBalance
TRANSIENT::MetaKey(name=cvl.label.end, typ=class java.lang.Boolean)=true::
TRANSIENT::MetaKey(name=cvl.label.start, typ=class java.lang.String)=assumptions about extcodesize::
tacTmpextcodesizeCheck = tacExtcodesize[0xce4604a000000000000000000000002a]>0x0
assume tacTmpextcodesizeCheck
tacTmpextcodesizeCheck = tacExtcodesize[0xce4604a0000000000000000000000028]>0x0
assume tacTmpextcodesizeCheck
tacTmpextcodesizeCheck = tacExtcodesize[0xce4604a0000000000000000000000029]>0x0
assume tacTmpextcodesizeCheck
TRANSIENT::MetaKey(name=cvl.label.end, typ=class java.lang.Boolean)=true::
TRANSIENT::MetaKey(name=cvl.label.start, typ=class java.lang.String)=require forall address a. g_readsToAccountContext(a) == 0::
certoraAssume54731 = forall( QVars(a:bv256 bv256) true&&true&&(g_readsToAccountContext:uf(a)==0x0))
assume certoraAssume54731
TRANSIENT::MetaKey(name=cvl.label.end, typ=class java.lang.Boolean)=true::
TRANSIENT::MetaKey(name=cvl.label.start, typ=class java.lang.String)=require forall address a1. g_writesToAccountContext(a1) == 0::
certoraAssume54732 = forall( QVars(a1:bv256 bv256) true&&true&&(g_writesToAccountContext:uf(a1)==0x0))
assume certoraAssume54732
TRANSIENT::MetaKey(name=cvl.label.end, typ=class java.lang.Boolean)=true::
NOP
NOP
TRANSIENT::MetaKey(name=cvl.label.start, typ=class java.lang.String)=f(e,args)::
TRANSIENT::MetaKey(name=call.trace.push, typ=class analysis.icfg.Inliner$CallStack$PushRecord)=PushRecord(callee=MethodRef(contractAddress=274184521717934524641157099916833587242, sigHash=SigHash(f242432a), attr=COMMON), summary=null, id=16)::
certoraTmpBool = e.msg.sender<0x10000000000000000000000000000000000000000
assume certoraTmpBool
certoraTmpBool = e.msg.sender>0x0
certoraTmp2 = e.msg.sender==0x0
certoraTmpBool = certoraTmpBool||certoraTmp2
assume certoraTmpBool
certoraTmp = tacBalance[e.msg.sender]
certora_balanceCheck14 = certoraTmp<e.msg.value
if certora_balanceCheck14:bool goto 44_0_0_0_0_0_0_0 else goto 43_0_0_0_0_0_0_0

Block 43_0_0_0_0_0_0_0: NOP
tacOrigS!ce4604a000000000000000000000002a!505 = tacS!ce4604a000000000000000000000002a
tacOrigS!ce4604a000000000000000000000002a!506 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000012)), offset=0)), offset=0))
tacOrigS!ce4604a000000000000000000000002a!507 = tacS!ce4604a000000000000000000000002a!ArrayAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000013)), offset=0))
tacOrigS!ce4604a000000000000000000000002a!508 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=1000001))
tacOrigS!ce4604a000000000000000000000002a!509 = tacS!ce4604a000000000000000000000002a!6!0
tacOrigS!ce4604a000000000000000000000002a!510 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=10))!0
tacOrigS!ce4604a000000000000000000000002a!511 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=11)), offset=0))!0
tacOrigS!ce4604a000000000000000000000002a!512 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=1000009))
tacOrigS!ce4604a000000000000000000000002a!513 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000011)), offset=0))
tacOrigS!ce4604a000000000000000000000002a!514 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=2))
tacOrigS!ce4604a000000000000000000000002a!515 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=1))
tacOrigS!ce4604a000000000000000000000002a!516 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000006)), offset=0))
tacOrigS!ce4604a000000000000000000000002a!517 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000010)), offset=0)), offset=0))
tacOrigS!ce4604a000000000000000000000002a!518 = tacS!ce4604a000000000000000000000002a!StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000010)), offset=0)), offset=0)), offset=1)
tacOrigS!ce4604a000000000000000000000002a!519 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000008)), offset=0))
tacOrigS!ce4604a000000000000000000000002a!520 = tacS!ce4604a000000000000000000000002a!5!0
tacOrigS!ce4604a000000000000000000000002a!521 = tacS!ce4604a000000000000000000000002a!3!0
tacOrigS!ce4604a0000000000000000000000028!486 = tacS!ce4604a0000000000000000000000028
tacOrigS!ce4604a0000000000000000000000028!487 = tacS!ce4604a0000000000000000000000028!MapAccess(base=Root(slot=2))
tacOrigS!ce4604a0000000000000000000000028!488 = tacS!ce4604a0000000000000000000000028!MapAccess(base=Root(slot=1))
tacOrigS!ce4604a0000000000000000000000028!489 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000006)), offset=0))
tacOrigS!ce4604a0000000000000000000000028!490 = tacS!ce4604a0000000000000000000000028!ArrayAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000013)), offset=0))
tacOrigS!ce4604a0000000000000000000000028!491 = tacS!ce4604a0000000000000000000000028!MapAccess(base=Root(slot=1000009))
tacOrigS!ce4604a0000000000000000000000028!492 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000011)), offset=0))
tacOrigS!ce4604a0000000000000000000000028!493 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000010)), offset=0)), offset=0))
tacOrigS!ce4604a0000000000000000000000028!494 = tacS!ce4604a0000000000000000000000028!StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000010)), offset=0)), offset=0)), offset=1)
tacOrigS!ce4604a0000000000000000000000028!495 = tacS!ce4604a0000000000000000000000028!MapAccess(base=Root(slot=1000001))
tacOrigS!ce4604a0000000000000000000000028!496 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000012)), offset=0)), offset=0))
tacOrigS!ce4604a0000000000000000000000028!497 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000008)), offset=0))
tacOrigS!ce4604a0000000000000000000000029!498 = tacS!ce4604a0000000000000000000000029
tacOrigS!ce4604a0000000000000000000000029!499 = tacS!ce4604a0000000000000000000000029!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000006)), offset=0))
tacOrigS!ce4604a0000000000000000000000029!500 = tacS!ce4604a0000000000000000000000029!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000011)), offset=0))
tacOrigS!ce4604a0000000000000000000000029!501 = tacS!ce4604a0000000000000000000000029!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000012)), offset=0)), offset=0))
tacOrigS!ce4604a0000000000000000000000029!502 = tacS!ce4604a0000000000000000000000029!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000008)), offset=0))
tacOrigS!ce4604a0000000000000000000000029!503 = tacS!ce4604a0000000000000000000000029!ArrayAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000013)), offset=0))
tacOrigS!ce4604a0000000000000000000000029!504 = tacS!ce4604a0000000000000000000000029!MapAccess(base=Root(slot=2))
tacOrigBalance!522 = tacBalance
generic4g_readsToAccountContext = g_readsToAccountContext
generic4g_writesToAccountContext = g_writesToAccountContext
certora_returnSizeMatch14 = true
tacCalldatabuf@14 = args
tacCalldatabuf!4@14 = args!4
tacCalldatabuf!36@14 = args!36
tacCalldatabuf!68@14 = args!68
tacCalldatabuf!100@14 = args!100
tacCalldatabuf!132@14 = args!132
tacCalldatasize@14 = args!size
tacTmpBool = 0xa3s<args!size
assume tacTmpBool
lastHasThrown = false
tacCaller@14 = e.msg.sender
certoraTmpBool = (0x0<=tacCaller@14)&&(tacCaller@14<=0xffffffffffffffffffffffffffffffffffffffff)
assume certoraTmpBool
tacCallvalue@14 = e.msg.value
certoraTmpBool = tacAddress@14==e.msg.address
assume certoraTmpBool
certoraTmpBool = (0x0<=tacAddress@14)&&(tacAddress@14<=0xffffffffffffffffffffffffffffffffffffffff)
assume certoraTmpBool
tacAddress@14 = 0xce4604a000000000000000000000002a
certoraTmp = tacOrigin@14
certoraTmpBool = (0x0<=tacOrigin@14)&&(tacOrigin@14<=0xffffffffffffffffffffffffffffffffffffffff)
assume certoraTmpBool
tacNumber@14 = e.block.number
tacTimestamp@14 = e.block.timestamp
tacTmpSrcNewValue = tacBalance[e.msg.sender] -int e.msg.value
tacBalance[e.msg.sender] = tacTmpSrcNewValue
tacTmpTrgNewValue = tacBalance[0xce4604a000000000000000000000002a]+e.msg.value
tacTmptrgNewBalanceNoofl = add_noofl:bif(tacBalance[0xce4604a000000000000000000000002a],e.msg.value)
assume tacTmptrgNewBalanceNoofl
tacBalance[0xce4604a000000000000000000000002a] = tacTmpTrgNewValue
::Invoke f args :14::
goto: 0_0_0_0_14_0_19607_0

Block 45_0_0_0_0_0_0_1: NOP
assume !lastReverted
assume !lastHasThrown
TRANSIENT::MetaKey(name=call.trace.pop, typ=class analysis.icfg.Inliner$CallStack$PopRecord)=PopRecord(id=16)::
TRANSIENT::MetaKey(name=cvl.label.end, typ=class java.lang.Boolean)=true::
TRANSIENT::MetaKey(name=cvl.label.start, typ=class java.lang.String)=assert forall address a2. g_readsToAccountContext(a2) == g_writesToAccountContext(a2) && g_readsToAccountContext(a2) <= 1 || g_writesToAccountContext(a2) == 0::
certoraAssert_1 = forall( QVars(a2:bv256 bv256) true&&true&&((true&&true&&true&&true&&(g_readsToAccountContext:uf(a2)==g_writesToAccountContext:uf(a2))&&true&&true&&(g_readsToAccountContext:uf(a2)<=0x1))||(true&&true&&(g_writesToAccountContext:uf(a2)==0x0))))
assert certoraAssert_1,
TRANSIENT::MetaKey(name=cvl.label.end, typ=class java.lang.Boolean)=true::

Block 44_0_0_0_0_0_0_0: lastReverted = true
lastHasThrown = false

Block 61_0_0_0_0_0_0_0: lastStorage!ce4604a000000000000000000000002a!0 = tacS!ce4604a000000000000000000000002a
lastStorage!ce4604a000000000000000000000002a!1 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000012)), offset=0)), offset=0))
lastStorage!ce4604a000000000000000000000002a!2 = tacS!ce4604a000000000000000000000002a!ArrayAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000013)), offset=0))
lastStorage!ce4604a000000000000000000000002a!3 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=1000001))
lastStorage!ce4604a000000000000000000000002a!4 = tacS!ce4604a000000000000000000000002a!6!0
lastStorage!ce4604a000000000000000000000002a!5 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=10))!0
lastStorage!ce4604a000000000000000000000002a!6 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=11)), offset=0))!0
lastStorage!ce4604a000000000000000000000002a!7 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=1000009))
lastStorage!ce4604a000000000000000000000002a!8 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000011)), offset=0))
lastStorage!ce4604a000000000000000000000002a!9 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=2))
lastStorage!ce4604a000000000000000000000002a!10 = tacS!ce4604a000000000000000000000002a!MapAccess(base=Root(slot=1))
lastStorage!ce4604a000000000000000000000002a!11 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000006)), offset=0))
lastStorage!ce4604a000000000000000000000002a!12 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000010)), offset=0)), offset=0))
lastStorage!ce4604a000000000000000000000002a!13 = tacS!ce4604a000000000000000000000002a!StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000010)), offset=0)), offset=0)), offset=1)
lastStorage!ce4604a000000000000000000000002a!14 = tacS!ce4604a000000000000000000000002a!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000008)), offset=0))
lastStorage!ce4604a000000000000000000000002a!15 = tacS!ce4604a000000000000000000000002a!5!0
lastStorage!ce4604a000000000000000000000002a!16 = tacS!ce4604a000000000000000000000002a!3!0
lastStorage!ce4604a0000000000000000000000028!0 = tacS!ce4604a0000000000000000000000028
lastStorage!ce4604a0000000000000000000000028!1 = tacS!ce4604a0000000000000000000000028!MapAccess(base=Root(slot=2))
lastStorage!ce4604a0000000000000000000000028!2 = tacS!ce4604a0000000000000000000000028!MapAccess(base=Root(slot=1))
lastStorage!ce4604a0000000000000000000000028!3 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000006)), offset=0))
lastStorage!ce4604a0000000000000000000000028!4 = tacS!ce4604a0000000000000000000000028!ArrayAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000013)), offset=0))
lastStorage!ce4604a0000000000000000000000028!5 = tacS!ce4604a0000000000000000000000028!MapAccess(base=Root(slot=1000009))
lastStorage!ce4604a0000000000000000000000028!6 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000011)), offset=0))
lastStorage!ce4604a0000000000000000000000028!7 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000010)), offset=0)), offset=0))
lastStorage!ce4604a0000000000000000000000028!8 = tacS!ce4604a0000000000000000000000028!StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000010)), offset=0)), offset=0)), offset=1)
lastStorage!ce4604a0000000000000000000000028!9 = tacS!ce4604a0000000000000000000000028!MapAccess(base=Root(slot=1000001))
lastStorage!ce4604a0000000000000000000000028!10 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000012)), offset=0)), offset=0))
lastStorage!ce4604a0000000000000000000000028!11 = tacS!ce4604a0000000000000000000000028!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000008)), offset=0))
lastStorage!ce4604a0000000000000000000000029!0 = tacS!ce4604a0000000000000000000000029
lastStorage!ce4604a0000000000000000000000029!1 = tacS!ce4604a0000000000000000000000029!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000006)), offset=0))
lastStorage!ce4604a0000000000000000000000029!2 = tacS!ce4604a0000000000000000000000029!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000011)), offset=0))
lastStorage!ce4604a0000000000000000000000029!3 = tacS!ce4604a0000000000000000000000029!MapAccess(base=StructAccess(base=MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000012)), offset=0)), offset=0))
lastStorage!ce4604a0000000000000000000000029!4 = tacS!ce4604a0000000000000000000000029!MapAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000008)), offset=0))
lastStorage!ce4604a0000000000000000000000029!5 = tacS!ce4604a0000000000000000000000029!ArrayAccess(base=StructAccess(base=MapAccess(base=Root(slot=1000013)), offset=0))
lastStorage!ce4604a0000000000000000000000029!6 = tacS!ce4604a0000000000000000000000029!MapAccess(base=Root(slot=2))
lastStorage!tacBalance = tacBalance
lastStorage0g_readsToAccountContext = g_readsToAccountContext
lastStorage0g_writesToAccountContext = g_writesToAccountContext

Block 0_0_0_0_14_0_19607_0: ::14: ERC1155Action.safeTransferFrom::
Edge 0_0_0_0_0_0_0_0 -> 44_0_0_0_0_0_0_0:
Edge 0_0_0_0_0_0_0_0 -> 43_0_0_0_0_0_0_0:
Edge 43_0_0_0_0_0_0_0 -> 0_0_0_0_14_0_19607_0:
Edge 44_0_0_0_0_0_0_0 -> 45_0_0_0_0_0_0_1:
Edge 16793_1004_0_0_14_0_19669_0 -> 61_0_0_0_0_0_0_0:
Edge 61_0_0_0_0_0_0_0 -> 45_0_0_0_0_0_0_1:
Previous:
44_0_0_0_0_0_0_0 <- 0_0_0_0_0_0_0_0
43_0_0_0_0_0_0_0 <- 0_0_0_0_0_0_0_0
0_0_0_0_14_0_19607_0 <- 43_0_0_0_0_0_0_0
45_0_0_0_0_0_0_1 <- 44_0_0_0_0_0_0_0 , 61_0_0_0_0_0_0_0
15010_1014_0_0_14_0_19841_0 <- 0_0_0_0_14_0_19607_0
15063_1013_0_0_14_0_19633_0 <- 0_0_0_0_14_0_19607_0
11830_1000_0_0_14_0_19612_0 <- 11681_1000_0_0_14_0_19608_0 , 11689_1000_0_0_14_0_19610_0
11830_1010_0_0_14_0_19613_0 <- 11681_1010_0_0_14_0_19609_0 , 11689_1010_0_0_14_0_19611_0
16117_1003_0_0_14_0_19645_0 <- 11830_1000_0_0_14_0_19612_0 , 16052_1003_0_0_14_0_19850_0
15074_1013_0_0_14_0_19634_0 <- 11830_1010_0_0_14_0_19613_0 , 15010_1014_0_0_14_0_19841_0
12324_1016_0_0_14_0_19619_0 <- 12041_1016_0_0_14_0_19615_0 , 15074_1013_0_0_14_0_19634_0
12342_1015_0_0_14_0_19620_0 <- 12324_1016_0_0_14_0_19619_0
12784_1015_0_0_14_0_19621_0 <- 12324_1016_0_0_14_0_19619_0
23974_999_0_0_14_0_19678_0 <- 12342_1015_0_0_14_0_19620_0
23987_999_0_0_14_0_19679_0 <- 12342_1015_0_0_14_0_19620_0
12796_1015_0_0_14_0_19622_0 <- 12784_1015_0_0_14_0_19621_0 , 29172_1001_1_0_14_0_19720_0
15691_1006_0_0_14_0_19842_0 <- 12796_1015_0_0_14_0_19622_0
15706_1004_0_0_14_0_19636_0 <- 12796_1015_0_0_14_0_19622_0
11689_1010_0_0_14_0_19611_0 <- 15063_1013_0_0_14_0_19633_0
11681_1010_0_0_14_0_19609_0 <- 15063_1013_0_0_14_0_19633_0
12041_1016_0_0_14_0_19615_0 <- 15074_1013_0_0_14_0_19634_0
15729_1004_0_0_14_0_19637_0 <- 15706_1004_0_0_14_0_19636_0 , 15691_1006_0_0_14_0_19842_0
15965_1004_0_0_14_0_19642_0 <- 15729_1004_0_0_14_0_19637_0
15959_1003_0_0_14_0_19845_0 <- 15729_1004_0_0_14_0_19637_0
15997_1003_0_0_14_0_19849_0 <- 15965_1004_0_0_14_0_19642_0
16052_1003_0_0_14_0_19643_0 <- 15965_1004_0_0_14_0_19642_0
16106_1003_0_0_14_0_19644_0 <- 16052_1003_0_0_14_0_19643_0
16052_1003_0_0_14_0_19850_0 <- 16052_1003_0_0_14_0_19643_0
11689_1000_0_0_14_0_19610_0 <- 16106_1003_0_0_14_0_19644_0
11681_1000_0_0_14_0_19608_0 <- 16106_1003_0_0_14_0_19644_0
16118_1003_0_0_14_0_19646_0 <- 16117_1003_0_0_14_0_19645_0 , 15997_1003_0_0_14_0_19849_0
16224_999_0_0_14_0_19649_0 <- 16118_1003_0_0_14_0_19646_0
16224_999_0_0_14_0_19650_0 <- 16118_1003_0_0_14_0_19646_0
16285_999_0_0_14_0_19652_0 <- 16224_999_0_0_14_0_19648_0
16252_999_0_0_14_0_19651_0 <- 16224_999_0_0_14_0_19648_0
16224_999_0_0_14_0_19648_0 <- 16224_999_0_0_14_0_19649_0 , 16224_999_0_0_14_0_19650_0
16290_999_0_0_14_0_19653_0 <- 16252_999_0_0_14_0_19651_0 , 16285_999_0_0_14_0_19652_0
16362_1004_0_0_14_0_19655_0 <- 16290_999_0_0_14_0_19653_0 , 15959_1003_0_0_14_0_19845_0
16417_1003_0_0_14_0_19656_0 <- 16362_1004_0_0_14_0_19655_0
16362_1004_0_0_14_0_19846_0 <- 16362_1004_0_0_14_0_19655_0
16464_1003_0_0_14_0_19657_0 <- 16417_1003_0_0_14_0_19656_0 , 16362_1004_0_0_14_0_19846_0
16470_1004_0_0_14_0_19658_0 <- 16464_1003_0_0_14_0_19657_0
16573_1004_0_0_14_0_19661_0 <- 16464_1003_0_0_14_0_19657_0 , 7_0_0_0_14_0_20160_0
0_0_0_0_15_0_19857_0 <- 16470_1004_0_0_14_0_19658_0
16793_1004_0_0_14_0_19669_0 <- 16573_1004_0_0_14_0_19661_0 , 8_0_0_0_14_0_20464_0
16690_1004_0_0_14_0_19666_0 <- 16573_1004_0_0_14_0_19661_0
0_0_0_0_16_0_20161_0 <- 16690_1004_0_0_14_0_19666_0
61_0_0_0_0_0_0_0 <- 16793_1004_0_0_14_0_19669_0
18748_1005_0_0_14_0_19674_0 <- 18716_1003_0_0_14_0_19672_0 , 25055_997_0_0_14_0_19704_0
24722_996_0_0_14_0_19693_0 <- 18726_1003_0_0_14_0_19673_0
24710_996_0_0_14_0_19692_0 <- 18726_1003_0_0_14_0_19673_0
29141_1001_0_0_14_0_19715_0 <- 18748_1005_0_0_14_0_19674_0
29158_1001_0_0_14_0_19717_0 <- 18748_1005_0_0_14_0_19674_0
29172_1001_0_0_14_0_19719_0 <- 19443_979_0_0_14_0_19675_0 , 33225_989_0_0_14_0_19762_0
29172_1001_1_0_14_0_19720_0 <- 19443_979_1_0_14_0_19676_0 , 33225_989_1_0_14_0_19763_0
24214_999_0_0_14_0_19691_0 <- 23974_999_0_0_14_0_19678_0 , 23997_999_0_0_14_0_19680_0 , 24023_999_0_0_14_0_19682_0 , 24049_999_0_0_14_0_19684_0 , 24078_999_0_0_14_0_19686_0 , 24107_999_0_0_14_0_19688_0 , 24126_999_0_0_14_0_19689_0
23997_999_0_0_14_0_19680_0 <- 23987_999_0_0_14_0_19679_0
24013_999_0_0_14_0_19681_0 <- 23987_999_0_0_14_0_19679_0
24023_999_0_0_14_0_19682_0 <- 24013_999_0_0_14_0_19681_0
24039_999_0_0_14_0_19683_0 <- 24013_999_0_0_14_0_19681_0
24049_999_0_0_14_0_19684_0 <- 24039_999_0_0_14_0_19683_0
24068_999_0_0_14_0_19685_0 <- 24039_999_0_0_14_0_19683_0
24078_999_0_0_14_0_19686_0 <- 24068_999_0_0_14_0_19685_0
24097_999_0_0_14_0_19687_0 <- 24068_999_0_0_14_0_19685_0
24107_999_0_0_14_0_19688_0 <- 24097_999_0_0_14_0_19687_0
24126_999_0_0_14_0_19689_0 <- 24097_999_0_0_14_0_19687_0
18716_1003_0_0_14_0_19672_0 <- 24214_999_0_0_14_0_19691_0
18726_1003_0_0_14_0_19673_0 <- 24214_999_0_0_14_0_19691_0
25055_997_0_0_14_0_19704_0 <- 24710_996_0_0_14_0_19692_0 , 24730_996_0_0_14_0_19694_0 , 24770_995_0_0_14_0_19696_0 , 24793_995_0_0_14_0_19698_0 , 24879_995_0_0_14_0_19700_0 , 24966_995_0_0_14_0_19702_0 , 25043_995_0_0_14_0_19703_0
24742_996_0_0_14_0_19695_0 <- 24722_996_0_0_14_0_19693_0
24730_996_0_0_14_0_19694_0 <- 24722_996_0_0_14_0_19693_0
24783_995_0_0_14_0_19697_0 <- 24742_996_0_0_14_0_19695_0
24770_995_0_0_14_0_19696_0 <- 24742_996_0_0_14_0_19695_0
24869_995_0_0_14_0_19699_0 <- 24783_995_0_0_14_0_19697_0
24793_995_0_0_14_0_19698_0 <- 24783_995_0_0_14_0_19697_0
24956_995_0_0_14_0_19701_0 <- 24869_995_0_0_14_0_19699_0
24879_995_0_0_14_0_19700_0 <- 24869_995_0_0_14_0_19699_0
25043_995_0_0_14_0_19703_0 <- 24956_995_0_0_14_0_19701_0
24966_995_0_0_14_0_19702_0 <- 24956_995_0_0_14_0_19701_0
28382_975_0_107_14_0_24772_0 <- 28370_977_0_0_14_0_19707_0
28399_976_0_0_14_0_19709_0 <- 28370_977_0_0_14_0_19707_0 , 28382_975_0_107_14_0_24772_0
28382_975_1_111_14_0_24774_0 <- 28370_977_1_0_14_0_19708_0
28399_976_1_0_14_0_19710_0 <- 28370_977_1_0_14_0_19708_0 , 28382_975_1_111_14_0_24774_0
28401_977_0_0_14_0_19711_0 <- 28399_976_0_0_14_0_19709_0 , 32108_989_0_0_14_0_19750_0
28401_977_1_0_14_0_19712_0 <- 28399_976_1_0_14_0_19710_0 , 32108_989_1_0_14_0_19751_0
28508_977_0_79_14_0_24707_0 <- 28401_977_0_0_14_0_19711_0
28719_977_0_0_14_0_19713_0 <- 28401_977_0_0_14_0_19711_0 , 28508_977_0_79_14_0_24707_0
28508_977_1_81_14_0_24713_0 <- 28401_977_1_0_14_0_19712_0
28719_977_1_0_14_0_19714_0 <- 28401_977_1_0_14_0_19712_0 , 28508_977_1_81_14_0_24713_0
32234_990_0_0_14_0_19752_0 <- 28719_977_0_0_14_0_19713_0 , 32100_989_0_0_14_0_19748_0
32234_990_1_0_14_0_19753_0 <- 28719_977_1_0_14_0_19714_0 , 32100_989_1_0_14_0_19749_0
32048_991_0_0_14_0_19740_0 <- 29141_1001_0_0_14_0_19715_0
32024_993_0_0_14_0_19853_0 <- 29141_1001_0_0_14_0_19715_0
32048_991_1_0_14_0_19741_0 <- 29141_1001_1_0_14_0_19716_0
32024_993_1_0_14_0_19856_0 <- 29141_1001_1_0_14_0_19716_0
32048_992_0_0_14_0_19742_0 <- 29158_1001_0_0_14_0_19717_0
32024_994_0_0_14_0_19851_0 <- 29158_1001_0_0_14_0_19717_0
32048_992_1_0_14_0_19743_0 <- 29158_1001_1_0_14_0_19718_0
32024_994_1_0_14_0_19854_0 <- 29158_1001_1_0_14_0_19718_0
29192_1003_0_61_14_0_24648_0 <- 29172_1001_0_0_14_0_19719_0
29264_1003_0_0_14_0_19721_0 <- 29172_1001_0_0_14_0_19719_0 , 28165_996_1_61_14_0_24645_0
29141_1001_1_0_14_0_19716_0 <- 29264_1003_0_0_14_0_19721_0
29158_1001_1_0_14_0_19718_0 <- 29264_1003_0_0_14_0_19721_0
0_0_0_0_17_0_20465_0 <- 31103_995_0_0_14_0_19722_0
0_0_0_0_18_0_20603_0 <- 31103_995_1_0_14_0_19723_0
32100_989_0_0_14_0_19748_0 <- 31257_995_0_0_14_0_19728_0
32108_989_0_0_14_0_19750_0 <- 31257_995_0_0_14_0_19728_0
32100_989_1_0_14_0_19749_0 <- 31257_995_1_0_14_0_19729_0
32108_989_1_0_14_0_19751_0 <- 31257_995_1_0_14_0_19729_0
32254_991_0_41_14_0_24511_0 <- 31276_995_0_0_14_0_19730_0
32411_991_0_0_14_0_19754_0 <- 31276_995_0_0_14_0_19730_0 , 32398_991_0_41_14_0_24509_0
32254_991_1_43_14_0_24537_0 <- 31276_995_1_0_14_0_19731_0
32411_991_1_0_14_0_19755_0 <- 31276_995_1_0_14_0_19731_0 , 32398_991_1_43_14_0_24535_0
0_0_0_0_19_0_20741_0 <- 31353_996_0_0_14_0_19732_0
0_0_0_0_20_0_20886_0 <- 31353_996_1_0_14_0_19733_0
32922_989_0_37_14_0_24408_0 <- 31492_996_0_0_14_0_19738_0
33225_989_0_0_14_0_19762_0 <- 31492_996_0_0_14_0_19738_0 , 33212_989_0_37_14_0_24403_0
32922_989_1_39_14_0_24461_0 <- 31492_996_1_0_14_0_19739_0
33225_989_1_0_14_0_19763_0 <- 31492_996_1_0_14_0_19739_0 , 33212_989_1_39_14_0_24456_0
32064_991_0_0_14_0_19744_0 <- 32048_991_0_0_14_0_19740_0 , 32024_993_0_0_14_0_19853_0
32064_991_1_0_14_0_19745_0 <- 32048_991_1_0_14_0_19741_0 , 32024_993_1_0_14_0_19856_0
32064_992_0_0_14_0_19746_0 <- 32048_992_0_0_14_0_19742_0 , 32024_994_0_0_14_0_19851_0
32064_992_1_0_14_0_19747_0 <- 32048_992_1_0_14_0_19743_0 , 32024_994_1_0_14_0_19854_0
31103_995_0_0_14_0_19722_0 <- 32064_991_0_0_14_0_19744_0
31257_995_0_0_14_0_19728_0 <- 32064_991_0_0_14_0_19744_0
31103_995_1_0_14_0_19723_0 <- 32064_991_1_0_14_0_19745_0
31257_995_1_0_14_0_19729_0 <- 32064_991_1_0_14_0_19745_0
31353_996_0_0_14_0_19732_0 <- 32064_992_0_0_14_0_19746_0
31347_995_0_0_14_0_19852_0 <- 32064_992_0_0_14_0_19746_0
31353_996_1_0_14_0_19733_0 <- 32064_992_1_0_14_0_19747_0
31347_995_1_0_14_0_19855_0 <- 32064_992_1_0_14_0_19747_0
28370_977_0_0_14_0_19707_0 <- 32108_989_0_0_14_0_19750_0
28370_977_1_0_14_0_19708_0 <- 32108_989_1_0_14_0_19751_0
31276_995_0_0_14_0_19730_0 <- 32234_990_0_0_14_0_19752_0 , 35778_971_1_0_14_0_19771_0
31276_995_1_0_14_0_19731_0 <- 32234_990_1_0_14_0_19753_0 , 35778_971_3_0_14_0_19773_0
33781_974_0_63_14_0_24661_0 <- 32411_991_0_0_14_0_19754_0
33917_974_0_0_14_0_19764_0 <- 32411_991_0_0_14_0_19754_0 , 33904_974_0_63_14_0_24654_0
33781_974_1_65_14_0_24669_0 <- 32411_991_1_0_14_0_19755_0
33917_974_1_0_14_0_19765_0 <- 32411_991_1_0_14_0_19755_0 , 33904_974_1_65_14_0_24662_0
19443_979_0_0_14_0_19675_0 <- 33917_974_0_0_14_0_19764_0 , 19414_979_0_95_14_0_24750_0
19261_979_0_95_14_0_24753_0 <- 33917_974_0_0_14_0_19764_0
19443_979_1_0_14_0_19676_0 <- 33917_974_1_0_14_0_19765_0 , 19414_979_1_97_14_0_24754_0
19261_979_1_97_14_0_24757_0 <- 33917_974_1_0_14_0_19765_0
35742_971_1_73_14_0_24693_0 <- 35778_971_0_0_14_0_19770_0
35778_971_1_0_14_0_19771_0 <- 35778_971_0_0_14_0_19770_0 , 35742_971_1_73_14_0_24693_0
35742_971_3_77_14_0_24701_0 <- 35778_971_2_0_14_0_19772_0
35778_971_3_0_14_0_19773_0 <- 35778_971_2_0_14_0_19772_0 , 35742_971_3_77_14_0_24701_0
31492_996_0_0_14_0_19738_0 <- 31347_995_0_0_14_0_19852_0 , 11_0_0_0_14_0_20885_0
31492_996_1_0_14_0_19739_0 <- 31347_995_1_0_14_0_19855_0 , 12_0_0_0_14_0_21030_0
2597_1009_0_0_15_0_19867_0 <- 0_0_0_0_15_0_19857_0
2436_1009_0_0_15_0_19864_0 <- 0_0_0_0_15_0_19857_0
552_1017_0_0_15_0_19861_0 <- 533_1017_0_0_15_0_19860_0 , 3109_1008_0_0_15_0_19873_0
7_0_0_0_14_0_20160_0 <- 552_1017_0_0_15_0_19861_0 , 9726_962_1_0_15_0_20047_0 , 9726_967_1_0_15_0_20048_0
7351_991_0_0_15_0_19932_0 <- 2436_1009_0_0_15_0_19864_0
7367_991_0_0_15_0_19933_0 <- 2436_1009_0_0_15_0_19864_0
2494_1007_0_0_15_0_19866_0 <- 2490_1007_0_0_15_0_19865_0 , 2475_1004_0_0_15_0_20151_0
3769_996_0_0_15_0_19874_0 <- 2494_1007_0_0_15_0_19866_0
3877_996_0_0_15_0_19875_0 <- 2494_1007_0_0_15_0_19866_0 , 3769_996_0_0_15_0_19874_0
6165_997_0_0_15_0_19919_0 <- 2597_1009_0_0_15_0_19867_0 , 6163_996_0_0_15_0_19918_0
6134_997_0_0_15_0_19917_0 <- 2597_1009_0_0_15_0_19867_0
2900_1008_0_0_15_0_19869_0 <- 2620_1009_0_0_15_0_19868_0 , 6071_993_0_1_15_0_21032_0
2659_1008_0_1_15_0_21114_0 <- 2620_1009_0_0_15_0_19868_0
3001_1008_0_0_15_0_19872_0 <- 2900_1008_0_0_15_0_19869_0
3109_1008_0_0_15_0_19873_0 <- 2900_1008_0_0_15_0_19869_0 , 3001_1008_0_0_15_0_19872_0
533_1017_0_0_15_0_19860_0 <- 3109_1008_0_0_15_0_19873_0
5340_992_0_0_15_0_19894_0 <- 3877_996_0_0_15_0_19875_0
5366_992_0_0_15_0_19895_0 <- 3877_996_0_0_15_0_19875_0
4097_1005_0_0_15_0_19892_0 <- 4084_1004_0_0_15_0_19890_0 , 4092_1004_0_0_15_0_19891_0
2620_1009_0_0_15_0_19868_0 <- 4097_1005_0_0_15_0_19892_0 , 6071_994_0_0_15_0_19916_0
5733_992_0_0_15_0_19907_0 <- 5340_992_0_0_15_0_19894_0 , 5730_990_0_0_15_0_19906_0
5586_991_0_0_15_0_20157_0 <- 5366_992_0_0_15_0_19895_0
5691_990_0_0_15_0_19905_0 <- 5366_992_0_0_15_0_19895_0
7832_984_5_0_15_0_19952_0 <- 5691_990_0_0_15_0_19905_0
7840_984_5_0_15_0_19955_0 <- 5691_990_0_0_15_0_19905_0
5842_993_0_0_15_0_19908_0 <- 5733_992_0_0_15_0_19907_0
5850_993_0_0_15_0_19909_0 <- 5733_992_0_0_15_0_19907_0
5927_993_0_0_15_0_19910_0 <- 5842_993_0_0_15_0_19908_0 , 7961_984_1_0_15_0_20004_0
7832_984_1_0_15_0_19950_0 <- 5850_993_0_0_15_0_19909_0
7840_984_1_0_15_0_19953_0 <- 5850_993_0_0_15_0_19909_0
5944_994_0_0_15_0_19911_0 <- 5927_993_0_0_15_0_19910_0
5952_994_0_0_15_0_19912_0 <- 5927_993_0_0_15_0_19910_0
6071_994_0_0_15_0_19916_0 <- 5944_994_0_0_15_0_19911_0 , 7961_984_3_0_15_0_20005_0
7832_984_3_0_15_0_19951_0 <- 5952_994_0_0_15_0_19912_0
7840_984_3_0_15_0_19954_0 <- 5952_994_0_0_15_0_19912_0
6146_995_0_115_15_0_24776_0 <- 6134_997_0_0_15_0_19917_0
6163_996_0_0_15_0_19918_0 <- 6134_997_0_0_15_0_19917_0 , 6146_995_0_115_15_0_24776_0
6272_997_0_83_15_0_24719_0 <- 6165_997_0_0_15_0_19919_0
6483_997_0_0_15_0_19925_0 <- 6165_997_0_0_15_0_19919_0 , 6272_997_0_83_15_0_24719_0
4092_1004_0_0_15_0_19891_0 <- 6483_997_0_0_15_0_19925_0
4084_1004_0_0_15_0_19890_0 <- 6483_997_0_0_15_0_19925_0
7511_991_0_0_15_0_19946_0 <- 7351_991_0_0_15_0_19932_0 , 7367_991_0_0_15_0_19933_0
2490_1007_0_0_15_0_19865_0 <- 7511_991_0_0_15_0_19946_0
2475_1004_0_0_15_0_20151_0 <- 7511_991_0_0_15_0_19946_0
7961_984_1_0_15_0_20004_0 <- 7832_984_1_0_15_0_19950_0 , 7840_984_1_0_15_0_19953_0
7961_984_3_0_15_0_20005_0 <- 7832_984_3_0_15_0_19951_0 , 7840_984_3_0_15_0_19954_0
7961_984_5_0_15_0_20006_0 <- 7832_984_5_0_15_0_19952_0 , 7840_984_5_0_15_0_19955_0
5730_990_0_0_15_0_19906_0 <- 7961_984_5_0_15_0_20006_0 , 5586_991_0_0_15_0_20157_0
2597_1009_0_0_16_0_20171_0 <- 0_0_0_0_16_0_20161_0
2436_1009_0_0_16_0_20168_0 <- 0_0_0_0_16_0_20161_0
552_1017_0_0_16_0_20165_0 <- 533_1017_0_0_16_0_20164_0 , 3109_1008_0_0_16_0_20177_0
8_0_0_0_14_0_20464_0 <- 552_1017_0_0_16_0_20165_0 , 9726_962_1_0_16_0_20351_0 , 9726_967_1_0_16_0_20352_0
7351_991_0_0_16_0_20236_0 <- 2436_1009_0_0_16_0_20168_0
7367_991_0_0_16_0_20237_0 <- 2436_1009_0_0_16_0_20168_0
2494_1007_0_0_16_0_20170_0 <- 2490_1007_0_0_16_0_20169_0 , 2475_1004_0_0_16_0_20455_0
3769_996_0_0_16_0_20178_0 <- 2494_1007_0_0_16_0_20170_0
3877_996_0_0_16_0_20179_0 <- 2494_1007_0_0_16_0_20170_0 , 3769_996_0_0_16_0_20178_0
6165_997_0_0_16_0_20223_0 <- 2597_1009_0_0_16_0_20171_0 , 6163_996_0_0_16_0_20222_0
6134_997_0_0_16_0_20221_0 <- 2597_1009_0_0_16_0_20171_0
2900_1008_0_0_16_0_20173_0 <- 2620_1009_0_0_16_0_20172_0 , 6071_993_0_3_16_0_21166_0
2659_1008_0_3_16_0_21248_0 <- 2620_1009_0_0_16_0_20172_0
3001_1008_0_0_16_0_20176_0 <- 2900_1008_0_0_16_0_20173_0
3109_1008_0_0_16_0_20177_0 <- 2900_1008_0_0_16_0_20173_0 , 3001_1008_0_0_16_0_20176_0
533_1017_0_0_16_0_20164_0 <- 3109_1008_0_0_16_0_20177_0
5340_992_0_0_16_0_20198_0 <- 3877_996_0_0_16_0_20179_0
5366_992_0_0_16_0_20199_0 <- 3877_996_0_0_16_0_20179_0
4097_1005_0_0_16_0_20196_0 <- 4084_1004_0_0_16_0_20194_0 , 4092_1004_0_0_16_0_20195_0
2620_1009_0_0_16_0_20172_0 <- 4097_1005_0_0_16_0_20196_0 , 6071_994_0_0_16_0_20220_0
5733_992_0_0_16_0_20211_0 <- 5340_992_0_0_16_0_20198_0 , 5730_990_0_0_16_0_20210_0
5586_991_0_0_16_0_20461_0 <- 5366_992_0_0_16_0_20199_0
5691_990_0_0_16_0_20209_0 <- 5366_992_0_0_16_0_20199_0
7832_984_5_0_16_0_20256_0 <- 5691_990_0_0_16_0_20209_0
7840_984_5_0_16_0_20259_0 <- 5691_990_0_0_16_0_20209_0
5842_993_0_0_16_0_20212_0 <- 5733_992_0_0_16_0_20211_0
5850_993_0_0_16_0_20213_0 <- 5733_992_0_0_16_0_20211_0
5927_993_0_0_16_0_20214_0 <- 5842_993_0_0_16_0_20212_0 , 7961_984_1_0_16_0_20308_0
7832_984_1_0_16_0_20254_0 <- 5850_993_0_0_16_0_20213_0
7840_984_1_0_16_0_20257_0 <- 5850_993_0_0_16_0_20213_0
5944_994_0_0_16_0_20215_0 <- 5927_993_0_0_16_0_20214_0
5952_994_0_0_16_0_20216_0 <- 5927_993_0_0_16_0_20214_0
6071_994_0_0_16_0_20220_0 <- 5944_994_0_0_16_0_20215_0 , 7961_984_3_0_16_0_20309_0
7832_984_3_0_16_0_20255_0 <- 5952_994_0_0_16_0_20216_0
7840_984_3_0_16_0_20258_0 <- 5952_994_0_0_16_0_20216_0
6146_995_0_117_16_0_24777_0 <- 6134_997_0_0_16_0_20221_0
6163_996_0_0_16_0_20222_0 <- 6134_997_0_0_16_0_20221_0 , 6146_995_0_117_16_0_24777_0
6272_997_0_85_16_0_24725_0 <- 6165_997_0_0_16_0_20223_0
6483_997_0_0_16_0_20229_0 <- 6165_997_0_0_16_0_20223_0 , 6272_997_0_85_16_0_24725_0
4092_1004_0_0_16_0_20195_0 <- 6483_997_0_0_16_0_20229_0
4084_1004_0_0_16_0_20194_0 <- 6483_997_0_0_16_0_20229_0
7511_991_0_0_16_0_20250_0 <- 7351_991_0_0_16_0_20236_0 , 7367_991_0_0_16_0_20237_0
2490_1007_0_0_16_0_20169_0 <- 7511_991_0_0_16_0_20250_0
2475_1004_0_0_16_0_20455_0 <- 7511_991_0_0_16_0_20250_0
7961_984_1_0_16_0_20308_0 <- 7832_984_1_0_16_0_20254_0 , 7840_984_1_0_16_0_20257_0
7961_984_3_0_16_0_20309_0 <- 7832_984_3_0_16_0_20255_0 , 7840_984_3_0_16_0_20258_0
7961_984_5_0_16_0_20310_0 <- 7832_984_5_0_16_0_20256_0 , 7840_984_5_0_16_0_20259_0
5730_990_0_0_16_0_20210_0 <- 7961_984_5_0_16_0_20310_0 , 5586_991_0_0_16_0_20461_0
572_1008_0_0_17_0_20469_0 <- 0_0_0_0_17_0_20465_0
556_1008_0_0_17_0_20468_0 <- 0_0_0_0_17_0_20465_0
5146_983_0_0_17_0_20514_0 <- 556_1008_0_0_17_0_20468_0
5134_983_0_0_17_0_20513_0 <- 556_1008_0_0_17_0_20468_0
1041_1002_0_0_17_0_20473_0 <- 572_1008_0_0_17_0_20469_0
1049_1002_0_0_17_0_20474_0 <- 572_1008_0_0_17_0_20469_0
1682_1003_0_13_17_0_23489_0 <- 634_1008_0_0_17_0_20470_0
2157_1003_0_0_17_0_20483_0 <- 634_1008_0_0_17_0_20470_0 , 2144_1003_0_13_17_0_23483_0
1175_1003_0_0_17_0_20475_0 <- 1041_1002_0_0_17_0_20473_0 , 2656_998_0_0_17_0_20496_0
6516_990_0_0_17_0_20539_0 <- 1049_1002_0_0_17_0_20474_0 , 6514_989_0_0_17_0_20538_0
6485_990_0_0_17_0_20537_0 <- 1049_1002_0_0_17_0_20474_0
2682_996_0_0_17_0_20497_0 <- 1175_1003_0_0_17_0_20475_0
2773_996_0_0_17_0_20498_0 <- 1175_1003_0_0_17_0_20475_0
9388_1004_0_119_17_0_24779_0 <- 2157_1003_0_0_17_0_20483_0
9424_1004_0_0_17_0_20578_0 <- 2157_1003_0_0_17_0_20483_0 , 9388_1004_0_119_17_0_24779_0
2508_993_0_0_17_0_20491_0 <- 2233_989_0_0_17_0_20486_0 , 2492_987_0_0_17_0_20490_0
5500_985_0_0_17_0_20526_0 <- 2250_989_0_0_17_0_20487_0
5508_985_0_0_17_0_20527_0 <- 2250_989_0_0_17_0_20487_0
2492_987_0_0_17_0_20490_0 <- 2373_988_0_0_17_0_20488_0 , 5529_981_0_29_17_0_24171_0
2385_987_0_29_17_0_24228_0 <- 2373_988_0_0_17_0_20488_0
634_1008_0_0_17_0_20470_0 <- 2508_993_0_0_17_0_20491_0 , 2866_998_0_0_17_0_20499_0
2656_998_0_0_17_0_20496_0 <- 2643_997_0_0_17_0_20494_0 , 2651_997_0_0_17_0_20495_0
2866_998_0_0_17_0_20499_0 <- 2682_996_0_0_17_0_20497_0 , 2773_996_0_0_17_0_20498_0
5479_984_0_0_17_0_20525_0 <- 5134_983_0_0_17_0_20513_0 , 5154_983_0_0_17_0_20515_0 , 5194_982_0_0_17_0_20517_0 , 5217_982_0_0_17_0_20519_0 , 5303_982_0_0_17_0_20521_0 , 5380_982_0_0_17_0_20522_0
5166_983_0_0_17_0_20516_0 <- 5146_983_0_0_17_0_20514_0
5154_983_0_0_17_0_20515_0 <- 5146_983_0_0_17_0_20514_0
5207_982_0_0_17_0_20518_0 <- 5166_983_0_0_17_0_20516_0
5194_982_0_0_17_0_20517_0 <- 5166_983_0_0_17_0_20516_0
5293_982_0_0_17_0_20520_0 <- 5207_982_0_0_17_0_20518_0
5217_982_0_0_17_0_20519_0 <- 5207_982_0_0_17_0_20518_0
5380_982_0_0_17_0_20522_0 <- 5293_982_0_0_17_0_20520_0
5303_982_0_0_17_0_20521_0 <- 5293_982_0_0_17_0_20520_0
2233_989_0_0_17_0_20486_0 <- 5479_984_0_0_17_0_20525_0
2250_989_0_0_17_0_20487_0 <- 5479_984_0_0_17_0_20525_0
5529_985_0_0_17_0_20528_0 <- 5500_985_0_0_17_0_20526_0 , 7213_981_0_0_17_0_20559_0
7026_982_0_0_17_0_20594_0 <- 5508_985_0_0_17_0_20527_0
7053_981_0_0_17_0_20546_0 <- 5508_985_0_0_17_0_20527_0
2287_988_0_21_17_0_23897_0 <- 5529_985_0_0_17_0_20528_0
2373_988_0_0_17_0_20488_0 <- 5529_985_0_0_17_0_20528_0 , 5529_984_0_21_17_0_23825_0
6497_988_0_121_17_0_24780_0 <- 6485_990_0_0_17_0_20537_0
6514_989_0_0_17_0_20538_0 <- 6485_990_0_0_17_0_20537_0 , 6497_988_0_121_17_0_24780_0
6623_990_0_87_17_0_24731_0 <- 6516_990_0_0_17_0_20539_0
6834_990_0_0_17_0_20545_0 <- 6516_990_0_0_17_0_20539_0 , 6623_990_0_87_17_0_24731_0
2651_997_0_0_17_0_20495_0 <- 6834_990_0_0_17_0_20545_0
2643_997_0_0_17_0_20494_0 <- 6834_990_0_0_17_0_20545_0
7066_981_0_0_17_0_20547_0 <- 7053_981_0_0_17_0_20546_0 , 7026_982_0_0_17_0_20594_0
7066_981_0_0_17_0_20595_0 <- 7066_981_0_0_17_0_20547_0
7083_981_0_0_17_0_20548_0 <- 7066_981_0_0_17_0_20547_0
7096_981_0_0_17_0_20549_0 <- 7083_981_0_0_17_0_20548_0 , 7066_981_0_0_17_0_20595_0
7096_981_0_0_17_0_20596_0 <- 7096_981_0_0_17_0_20549_0
7109_981_0_0_17_0_20550_0 <- 7096_981_0_0_17_0_20549_0
7122_981_0_0_17_0_20551_0 <- 7109_981_0_0_17_0_20550_0 , 7096_981_0_0_17_0_20596_0
7122_981_0_0_17_0_20597_0 <- 7122_981_0_0_17_0_20551_0
7133_981_0_0_17_0_20552_0 <- 7122_981_0_0_17_0_20551_0
7146_981_0_0_17_0_20553_0 <- 7133_981_0_0_17_0_20552_0 , 7122_981_0_0_17_0_20597_0
7146_981_0_0_17_0_20598_0 <- 7146_981_0_0_17_0_20553_0
7156_981_0_0_17_0_20554_0 <- 7146_981_0_0_17_0_20553_0
7169_981_0_0_17_0_20555_0 <- 7156_981_0_0_17_0_20554_0 , 7146_981_0_0_17_0_20598_0
7169_981_0_0_17_0_20599_0 <- 7169_981_0_0_17_0_20555_0
7178_981_0_0_17_0_20556_0 <- 7169_981_0_0_17_0_20555_0
7191_981_0_0_17_0_20557_0 <- 7178_981_0_0_17_0_20556_0 , 7169_981_0_0_17_0_20599_0
7191_981_0_0_17_0_20600_0 <- 7191_981_0_0_17_0_20557_0
7200_981_0_0_17_0_20558_0 <- 7191_981_0_0_17_0_20557_0
7213_981_0_0_17_0_20559_0 <- 7200_981_0_0_17_0_20558_0 , 7191_981_0_0_17_0_20600_0
9_0_0_0_14_0_20602_0 <- 9424_1004_0_0_17_0_20578_0
35742_971_0_71_14_0_24689_0 <- 9_0_0_0_14_0_20602_0
35778_971_0_0_14_0_19770_0 <- 9_0_0_0_14_0_20602_0 , 35742_971_0_71_14_0_24689_0
572_1008_0_0_18_0_20607_0 <- 0_0_0_0_18_0_20603_0
556_1008_0_0_18_0_20606_0 <- 0_0_0_0_18_0_20603_0
5146_983_0_0_18_0_20652_0 <- 556_1008_0_0_18_0_20606_0
5134_983_0_0_18_0_20651_0 <- 556_1008_0_0_18_0_20606_0
1041_1002_0_0_18_0_20611_0 <- 572_1008_0_0_18_0_20607_0
1049_1002_0_0_18_0_20612_0 <- 572_1008_0_0_18_0_20607_0
1682_1003_0_15_18_0_23573_0 <- 634_1008_0_0_18_0_20608_0
2157_1003_0_0_18_0_20621_0 <- 634_1008_0_0_18_0_20608_0 , 2144_1003_0_15_18_0_23567_0
1175_1003_0_0_18_0_20613_0 <- 1041_1002_0_0_18_0_20611_0 , 2656_998_0_0_18_0_20634_0
6516_990_0_0_18_0_20677_0 <- 1049_1002_0_0_18_0_20612_0 , 6514_989_0_0_18_0_20676_0
6485_990_0_0_18_0_20675_0 <- 1049_1002_0_0_18_0_20612_0
2682_996_0_0_18_0_20635_0 <- 1175_1003_0_0_18_0_20613_0
2773_996_0_0_18_0_20636_0 <- 1175_1003_0_0_18_0_20613_0
9388_1004_0_123_18_0_24782_0 <- 2157_1003_0_0_18_0_20621_0
9424_1004_0_0_18_0_20716_0 <- 2157_1003_0_0_18_0_20621_0 , 9388_1004_0_123_18_0_24782_0
2508_993_0_0_18_0_20629_0 <- 2233_989_0_0_18_0_20624_0 , 2492_987_0_0_18_0_20628_0
5500_985_0_0_18_0_20664_0 <- 2250_989_0_0_18_0_20625_0
5508_985_0_0_18_0_20665_0 <- 2250_989_0_0_18_0_20625_0
2492_987_0_0_18_0_20628_0 <- 2373_988_0_0_18_0_20626_0 , 5529_981_0_31_18_0_24229_0
2385_987_0_31_18_0_24286_0 <- 2373_988_0_0_18_0_20626_0
634_1008_0_0_18_0_20608_0 <- 2508_993_0_0_18_0_20629_0 , 2866_998_0_0_18_0_20637_0
2656_998_0_0_18_0_20634_0 <- 2643_997_0_0_18_0_20632_0 , 2651_997_0_0_18_0_20633_0
2866_998_0_0_18_0_20637_0 <- 2682_996_0_0_18_0_20635_0 , 2773_996_0_0_18_0_20636_0
5479_984_0_0_18_0_20663_0 <- 5134_983_0_0_18_0_20651_0 , 5154_983_0_0_18_0_20653_0 , 5194_982_0_0_18_0_20655_0 , 5217_982_0_0_18_0_20657_0 , 5303_982_0_0_18_0_20659_0 , 5380_982_0_0_18_0_20660_0
5166_983_0_0_18_0_20654_0 <- 5146_983_0_0_18_0_20652_0
5154_983_0_0_18_0_20653_0 <- 5146_983_0_0_18_0_20652_0
5207_982_0_0_18_0_20656_0 <- 5166_983_0_0_18_0_20654_0
5194_982_0_0_18_0_20655_0 <- 5166_983_0_0_18_0_20654_0
5293_982_0_0_18_0_20658_0 <- 5207_982_0_0_18_0_20656_0
5217_982_0_0_18_0_20657_0 <- 5207_982_0_0_18_0_20656_0
5380_982_0_0_18_0_20660_0 <- 5293_982_0_0_18_0_20658_0
5303_982_0_0_18_0_20659_0 <- 5293_982_0_0_18_0_20658_0
2233_989_0_0_18_0_20624_0 <- 5479_984_0_0_18_0_20663_0
2250_989_0_0_18_0_20625_0 <- 5479_984_0_0_18_0_20663_0
5529_985_0_0_18_0_20666_0 <- 5500_985_0_0_18_0_20664_0 , 7213_981_0_0_18_0_20697_0
7026_982_0_0_18_0_20732_0 <- 5508_985_0_0_18_0_20665_0
7053_981_0_0_18_0_20684_0 <- 5508_985_0_0_18_0_20665_0
2287_988_0_23_18_0_23985_0 <- 5529_985_0_0_18_0_20666_0
2373_988_0_0_18_0_20626_0 <- 5529_985_0_0_18_0_20666_0 , 5529_984_0_23_18_0_23913_0
6497_988_0_125_18_0_24783_0 <- 6485_990_0_0_18_0_20675_0
6514_989_0_0_18_0_20676_0 <- 6485_990_0_0_18_0_20675_0 , 6497_988_0_125_18_0_24783_0
6623_990_0_89_18_0_24737_0 <- 6516_990_0_0_18_0_20677_0
6834_990_0_0_18_0_20683_0 <- 6516_990_0_0_18_0_20677_0 , 6623_990_0_89_18_0_24737_0
2651_997_0_0_18_0_20633_0 <- 6834_990_0_0_18_0_20683_0
2643_997_0_0_18_0_20632_0 <- 6834_990_0_0_18_0_20683_0
7066_981_0_0_18_0_20685_0 <- 7053_981_0_0_18_0_20684_0 , 7026_982_0_0_18_0_20732_0
7066_981_0_0_18_0_20733_0 <- 7066_981_0_0_18_0_20685_0
7083_981_0_0_18_0_20686_0 <- 7066_981_0_0_18_0_20685_0
7096_981_0_0_18_0_20687_0 <- 7083_981_0_0_18_0_20686_0 , 7066_981_0_0_18_0_20733_0
7096_981_0_0_18_0_20734_0 <- 7096_981_0_0_18_0_20687_0
7109_981_0_0_18_0_20688_0 <- 7096_981_0_0_18_0_20687_0
7122_981_0_0_18_0_20689_0 <- 7109_981_0_0_18_0_20688_0 , 7096_981_0_0_18_0_20734_0
7122_981_0_0_18_0_20735_0 <- 7122_981_0_0_18_0_20689_0
7133_981_0_0_18_0_20690_0 <- 7122_981_0_0_18_0_20689_0
7146_981_0_0_18_0_20691_0 <- 7133_981_0_0_18_0_20690_0 , 7122_981_0_0_18_0_20735_0
7146_981_0_0_18_0_20736_0 <- 7146_981_0_0_18_0_20691_0
7156_981_0_0_18_0_20692_0 <- 7146_981_0_0_18_0_20691_0
7169_981_0_0_18_0_20693_0 <- 7156_981_0_0_18_0_20692_0 , 7146_981_0_0_18_0_20736_0
7169_981_0_0_18_0_20737_0 <- 7169_981_0_0_18_0_20693_0
7178_981_0_0_18_0_20694_0 <- 7169_981_0_0_18_0_20693_0
7191_981_0_0_18_0_20695_0 <- 7178_981_0_0_18_0_20694_0 , 7169_981_0_0_18_0_20737_0
7191_981_0_0_18_0_20738_0 <- 7191_981_0_0_18_0_20695_0
7200_981_0_0_18_0_20696_0 <- 7191_981_0_0_18_0_20695_0
7213_981_0_0_18_0_20697_0 <- 7200_981_0_0_18_0_20696_0 , 7191_981_0_0_18_0_20738_0
10_0_0_0_14_0_20740_0 <- 9424_1004_0_0_18_0_20716_0
35742_971_2_75_14_0_24697_0 <- 10_0_0_0_14_0_20740_0
35778_971_2_0_14_0_19772_0 <- 10_0_0_0_14_0_20740_0 , 35742_971_2_75_14_0_24697_0
572_1010_0_0_19_0_20745_0 <- 0_0_0_0_19_0_20741_0
556_1010_0_0_19_0_20744_0 <- 0_0_0_0_19_0_20741_0
5146_985_0_0_19_0_20799_0 <- 556_1010_0_0_19_0_20744_0
5134_985_0_0_19_0_20798_0 <- 556_1010_0_0_19_0_20744_0
1175_1005_0_0_19_0_20750_0 <- 572_1010_0_0_19_0_20745_0 , 2656_1000_0_0_19_0_20775_0
1049_1004_0_0_19_0_20749_0 <- 572_1010_0_0_19_0_20745_0
1682_1005_0_17_19_0_23657_0 <- 634_1010_0_0_19_0_20746_0
2157_1005_0_0_19_0_20762_0 <- 634_1010_0_0_19_0_20746_0 , 2144_1005_0_17_19_0_23651_0
6516_992_0_0_19_0_20824_0 <- 1049_1004_0_0_19_0_20749_0 , 6514_991_0_0_19_0_20823_0
6485_992_0_0_19_0_20822_0 <- 1049_1004_0_0_19_0_20749_0
2682_998_0_0_19_0_20776_0 <- 1175_1005_0_0_19_0_20750_0
2773_998_0_0_19_0_20777_0 <- 1175_1005_0_0_19_0_20750_0
11_0_0_0_14_0_20885_0 <- 2157_1005_0_0_19_0_20762_0
2508_995_0_0_19_0_20770_0 <- 2233_991_0_0_19_0_20765_0 , 2492_989_0_0_19_0_20769_0
5500_987_0_0_19_0_20811_0 <- 2250_991_0_0_19_0_20766_0
5508_987_0_0_19_0_20812_0 <- 2250_991_0_0_19_0_20766_0
2492_989_0_0_19_0_20769_0 <- 2373_990_0_0_19_0_20767_0 , 5529_983_1_33_19_0_24287_0
2385_989_0_33_19_0_24344_0 <- 2373_990_0_0_19_0_20767_0
634_1010_0_0_19_0_20746_0 <- 2508_995_0_0_19_0_20770_0 , 3367_994_0_0_19_0_20784_0
2656_1000_0_0_19_0_20775_0 <- 2643_999_0_0_19_0_20773_0 , 2651_999_0_0_19_0_20774_0
2866_1000_0_0_19_0_20778_0 <- 2682_998_0_0_19_0_20776_0 , 2773_998_0_0_19_0_20777_0
2950_989_0_67_19_0_24677_0 <- 2866_1000_0_0_19_0_20778_0
3086_989_0_0_19_0_20783_0 <- 2866_1000_0_0_19_0_20778_0 , 3073_989_0_67_19_0_24670_0
3367_994_0_0_19_0_20784_0 <- 3086_989_0_0_19_0_20783_0 , 3338_994_0_99_19_0_24758_0
3185_994_0_99_19_0_24761_0 <- 3086_989_0_0_19_0_20783_0
5479_986_0_0_19_0_20810_0 <- 5134_985_0_0_19_0_20798_0 , 5154_985_0_0_19_0_20800_0 , 5194_984_0_0_19_0_20802_0 , 5217_984_0_0_19_0_20804_0 , 5303_984_0_0_19_0_20806_0 , 5380_984_0_0_19_0_20807_0
5166_985_0_0_19_0_20801_0 <- 5146_985_0_0_19_0_20799_0
5154_985_0_0_19_0_20800_0 <- 5146_985_0_0_19_0_20799_0
5207_984_0_0_19_0_20803_0 <- 5166_985_0_0_19_0_20801_0
5194_984_0_0_19_0_20802_0 <- 5166_985_0_0_19_0_20801_0
5293_984_0_0_19_0_20805_0 <- 5207_984_0_0_19_0_20803_0
5217_984_0_0_19_0_20804_0 <- 5207_984_0_0_19_0_20803_0
5380_984_0_0_19_0_20807_0 <- 5293_984_0_0_19_0_20805_0
5303_984_0_0_19_0_20806_0 <- 5293_984_0_0_19_0_20805_0
2233_991_0_0_19_0_20765_0 <- 5479_986_0_0_19_0_20810_0
2250_991_0_0_19_0_20766_0 <- 5479_986_0_0_19_0_20810_0
5529_987_0_0_19_0_20813_0 <- 5500_987_0_0_19_0_20811_0 , 7213_983_0_0_19_0_20844_0
7026_984_0_0_19_0_20877_0 <- 5508_987_0_0_19_0_20812_0
7053_983_0_0_19_0_20831_0 <- 5508_987_0_0_19_0_20812_0
2287_990_0_25_19_0_24073_0 <- 5529_987_0_0_19_0_20813_0
2373_990_0_0_19_0_20767_0 <- 5529_987_0_0_19_0_20813_0 , 5529_986_0_25_19_0_24001_0
6497_990_0_127_19_0_24784_0 <- 6485_992_0_0_19_0_20822_0
6514_991_0_0_19_0_20823_0 <- 6485_992_0_0_19_0_20822_0 , 6497_990_0_127_19_0_24784_0
6623_992_0_91_19_0_24743_0 <- 6516_992_0_0_19_0_20824_0
6834_992_0_0_19_0_20830_0 <- 6516_992_0_0_19_0_20824_0 , 6623_992_0_91_19_0_24743_0
2651_999_0_0_19_0_20774_0 <- 6834_992_0_0_19_0_20830_0
2643_999_0_0_19_0_20773_0 <- 6834_992_0_0_19_0_20830_0
7066_983_0_0_19_0_20832_0 <- 7053_983_0_0_19_0_20831_0 , 7026_984_0_0_19_0_20877_0
7066_983_0_0_19_0_20878_0 <- 7066_983_0_0_19_0_20832_0
7083_983_0_0_19_0_20833_0 <- 7066_983_0_0_19_0_20832_0
7096_983_0_0_19_0_20834_0 <- 7083_983_0_0_19_0_20833_0 , 7066_983_0_0_19_0_20878_0
7096_983_0_0_19_0_20879_0 <- 7096_983_0_0_19_0_20834_0
7109_983_0_0_19_0_20835_0 <- 7096_983_0_0_19_0_20834_0
7122_983_0_0_19_0_20836_0 <- 7109_983_0_0_19_0_20835_0 , 7096_983_0_0_19_0_20879_0
7122_983_0_0_19_0_20880_0 <- 7122_983_0_0_19_0_20836_0
7133_983_0_0_19_0_20837_0 <- 7122_983_0_0_19_0_20836_0
7146_983_0_0_19_0_20838_0 <- 7133_983_0_0_19_0_20837_0 , 7122_983_0_0_19_0_20880_0
7146_983_0_0_19_0_20881_0 <- 7146_983_0_0_19_0_20838_0
7156_983_0_0_19_0_20839_0 <- 7146_983_0_0_19_0_20838_0
7169_983_0_0_19_0_20840_0 <- 7156_983_0_0_19_0_20839_0 , 7146_983_0_0_19_0_20881_0
7169_983_0_0_19_0_20882_0 <- 7169_983_0_0_19_0_20840_0
7178_983_0_0_19_0_20841_0 <- 7169_983_0_0_19_0_20840_0
7191_983_0_0_19_0_20842_0 <- 7178_983_0_0_19_0_20841_0 , 7169_983_0_0_19_0_20882_0
7191_983_0_0_19_0_20883_0 <- 7191_983_0_0_19_0_20842_0
7200_983_0_0_19_0_20843_0 <- 7191_983_0_0_19_0_20842_0
7213_983_0_0_19_0_20844_0 <- 7200_983_0_0_19_0_20843_0 , 7191_983_0_0_19_0_20883_0
572_1010_0_0_20_0_20890_0 <- 0_0_0_0_20_0_20886_0
556_1010_0_0_20_0_20889_0 <- 0_0_0_0_20_0_20886_0
5146_985_0_0_20_0_20944_0 <- 556_1010_0_0_20_0_20889_0
5134_985_0_0_20_0_20943_0 <- 556_1010_0_0_20_0_20889_0
1175_1005_0_0_20_0_20895_0 <- 572_1010_0_0_20_0_20890_0 , 2656_1000_0_0_20_0_20920_0
1049_1004_0_0_20_0_20894_0 <- 572_1010_0_0_20_0_20890_0
1682_1005_0_19_20_0_23741_0 <- 634_1010_0_0_20_0_20891_0
2157_1005_0_0_20_0_20907_0 <- 634_1010_0_0_20_0_20891_0 , 2144_1005_0_19_20_0_23735_0
6516_992_0_0_20_0_20969_0 <- 1049_1004_0_0_20_0_20894_0 , 6514_991_0_0_20_0_20968_0
6485_992_0_0_20_0_20967_0 <- 1049_1004_0_0_20_0_20894_0
2682_998_0_0_20_0_20921_0 <- 1175_1005_0_0_20_0_20895_0
2773_998_0_0_20_0_20922_0 <- 1175_1005_0_0_20_0_20895_0
12_0_0_0_14_0_21030_0 <- 2157_1005_0_0_20_0_20907_0
2508_995_0_0_20_0_20915_0 <- 2233_991_0_0_20_0_20910_0 , 2492_989_0_0_20_0_20914_0
5500_987_0_0_20_0_20956_0 <- 2250_991_0_0_20_0_20911_0
5508_987_0_0_20_0_20957_0 <- 2250_991_0_0_20_0_20911_0
2492_989_0_0_20_0_20914_0 <- 2373_990_0_0_20_0_20912_0 , 5529_983_1_35_20_0_24345_0
2385_989_0_35_20_0_24402_0 <- 2373_990_0_0_20_0_20912_0
634_1010_0_0_20_0_20891_0 <- 2508_995_0_0_20_0_20915_0 , 3367_994_0_0_20_0_20929_0
2656_1000_0_0_20_0_20920_0 <- 2643_999_0_0_20_0_20918_0 , 2651_999_0_0_20_0_20919_0
2866_1000_0_0_20_0_20923_0 <- 2682_998_0_0_20_0_20921_0 , 2773_998_0_0_20_0_20922_0
2950_989_0_69_20_0_24685_0 <- 2866_1000_0_0_20_0_20923_0
3086_989_0_0_20_0_20928_0 <- 2866_1000_0_0_20_0_20923_0 , 3073_989_0_69_20_0_24678_0
3367_994_0_0_20_0_20929_0 <- 3086_989_0_0_20_0_20928_0 , 3338_994_0_101_20_0_24762_0
3185_994_0_101_20_0_24765_0 <- 3086_989_0_0_20_0_20928_0
5479_986_0_0_20_0_20955_0 <- 5134_985_0_0_20_0_20943_0 , 5154_985_0_0_20_0_20945_0 , 5194_984_0_0_20_0_20947_0 , 5217_984_0_0_20_0_20949_0 , 5303_984_0_0_20_0_20951_0 , 5380_984_0_0_20_0_20952_0
5166_985_0_0_20_0_20946_0 <- 5146_985_0_0_20_0_20944_0
5154_985_0_0_20_0_20945_0 <- 5146_985_0_0_20_0_20944_0
5207_984_0_0_20_0_20948_0 <- 5166_985_0_0_20_0_20946_0
5194_984_0_0_20_0_20947_0 <- 5166_985_0_0_20_0_20946_0
5293_984_0_0_20_0_20950_0 <- 5207_984_0_0_20_0_20948_0
5217_984_0_0_20_0_20949_0 <- 5207_984_0_0_20_0_20948_0
5380_984_0_0_20_0_20952_0 <- 5293_984_0_0_20_0_20950_0
5303_984_0_0_20_0_20951_0 <- 5293_984_0_0_20_0_20950_0
2233_991_0_0_20_0_20910_0 <- 5479_986_0_0_20_0_20955_0
2250_991_0_0_20_0_20911_0 <- 5479_986_0_0_20_0_20955_0
5529_987_0_0_20_0_20958_0 <- 5500_987_0_0_20_0_20956_0 , 7213_983_0_0_20_0_20989_0
7026_984_0_0_20_0_21022_0 <- 5508_987_0_0_20_0_20957_0
7053_983_0_0_20_0_20976_0 <- 5508_987_0_0_20_0_20957_0
2287_990_0_27_20_0_24161_0 <- 5529_987_0_0_20_0_20958_0
2373_990_0_0_20_0_20912_0 <- 5529_987_0_0_20_0_20958_0 , 5529_986_0_27_20_0_24089_0
6497_990_0_129_20_0_24785_0 <- 6485_992_0_0_20_0_20967_0
6514_991_0_0_20_0_20968_0 <- 6485_992_0_0_20_0_20967_0 , 6497_990_0_129_20_0_24785_0
6623_992_0_93_20_0_24749_0 <- 6516_992_0_0_20_0_20969_0
6834_992_0_0_20_0_20975_0 <- 6516_992_0_0_20_0_20969_0 , 6623_992_0_93_20_0_24749_0
2651_999_0_0_20_0_20919_0 <- 6834_992_0_0_20_0_20975_0
2643_999_0_0_20_0_20918_0 <- 6834_992_0_0_20_0_20975_0
7066_983_0_0_20_0_20977_0 <- 7053_983_0_0_20_0_20976_0 , 7026_984_0_0_20_0_21022_0
7066_983_0_0_20_0_21023_0 <- 7066_983_0_0_20_0_20977_0
7083_983_0_0_20_0_20978_0 <- 7066_983_0_0_20_0_20977_0
7096_983_0_0_20_0_20979_0 <- 7083_983_0_0_20_0_20978_0 , 7066_983_0_0_20_0_21023_0
7096_983_0_0_20_0_21024_0 <- 7096_983_0_0_20_0_20979_0
7109_983_0_0_20_0_20980_0 <- 7096_983_0_0_20_0_20979_0
7122_983_0_0_20_0_20981_0 <- 7109_983_0_0_20_0_20980_0 , 7096_983_0_0_20_0_21024_0
7122_983_0_0_20_0_21025_0 <- 7122_983_0_0_20_0_20981_0
7133_983_0_0_20_0_20982_0 <- 7122_983_0_0_20_0_20981_0
7146_983_0_0_20_0_20983_0 <- 7133_983_0_0_20_0_20982_0 , 7122_983_0_0_20_0_21025_0
7146_983_0_0_20_0_21026_0 <- 7146_983_0_0_20_0_20983_0
7156_983_0_0_20_0_20984_0 <- 7146_983_0_0_20_0_20983_0
7169_983_0_0_20_0_20985_0 <- 7156_983_0_0_20_0_20984_0 , 7146_983_0_0_20_0_21026_0
7169_983_0_0_20_0_21027_0 <- 7169_983_0_0_20_0_20985_0
7178_983_0_0_20_0_20986_0 <- 7169_983_0_0_20_0_20985_0
7191_983_0_0_20_0_20987_0 <- 7178_983_0_0_20_0_20986_0 , 7169_983_0_0_20_0_21027_0
7191_983_0_0_20_0_21028_0 <- 7191_983_0_0_20_0_20987_0
7200_983_0_0_20_0_20988_0 <- 7191_983_0_0_20_0_20987_0
7213_983_0_0_20_0_20989_0 <- 7200_983_0_0_20_0_20988_0 , 7191_983_0_0_20_0_21028_0
6071_993_0_1_15_0_21032_0 <- 5944_993_0_1_15_0_21033_0 , 7961_983_2_1_15_0_21072_0
5944_993_0_1_15_0_21033_0 <- 5927_992_0_1_15_0_21034_0
5952_993_0_1_15_0_21155_0 <- 5927_992_0_1_15_0_21034_0
5927_992_0_1_15_0_21034_0 <- 5842_992_0_1_15_0_21036_0 , 7961_983_0_1_15_0_21089_0
5842_992_0_1_15_0_21036_0 <- 5733_991_0_1_15_0_21038_0
5850_992_0_1_15_0_21108_0 <- 5733_991_0_1_15_0_21038_0
5733_991_0_1_15_0_21038_0 <- 5340_991_0_1_15_0_21042_0 , 5730_989_0_1_15_0_21043_0
5340_991_0_1_15_0_21042_0 <- 2855_1004_0_1_15_0_21046_0
5366_991_0_1_15_0_21117_0 <- 2855_1004_0_1_15_0_21046_0
5730_989_0_1_15_0_21043_0 <- 5586_990_0_1_15_0_21047_0 , 7961_983_5_1_15_0_21071_0
2855_1004_0_1_15_0_21046_0 <- 7511_990_0_1_15_0_21051_0 , 4726_995_1_1_15_0_21060_0
7511_990_0_1_15_0_21051_0 <- 7351_990_0_1_15_0_21056_0 , 7367_990_0_1_15_0_21086_0
7351_990_0_1_15_0_21056_0 <- 2837_1004_0_1_15_0_21061_0
7367_990_0_1_15_0_21086_0 <- 2837_1004_0_1_15_0_21061_0
4726_995_1_1_15_0_21060_0 <- 4688_995_1_1_15_0_21064_0 , 9118_978_1_1_15_0_21122_0
4698_995_1_1_15_0_21152_0 <- 4688_995_1_1_15_0_21067_0
4688_995_1_1_15_0_21064_0 <- 4688_995_1_1_15_0_21067_0
4688_995_1_1_15_0_21067_0 <- 4640_994_1_1_15_0_21074_0 , 5261_979_1_1_15_0_21082_0
2739_1004_0_1_15_0_21126_0 <- 2713_1004_0_1_15_0_21075_0
2837_1004_0_1_15_0_21061_0 <- 2713_1004_0_1_15_0_21075_0
7961_983_5_1_15_0_21071_0 <- 7832_983_5_1_15_0_21077_0 , 7840_983_5_1_15_0_21127_0
7961_983_2_1_15_0_21072_0 <- 7832_983_2_1_15_0_21080_0 , 7840_983_2_1_15_0_21130_0
4646_995_1_1_15_0_21140_0 <- 4640_994_1_1_15_0_21083_0
4640_994_1_1_15_0_21074_0 <- 4640_994_1_1_15_0_21083_0
2713_1004_0_1_15_0_21075_0 <- 2709_1004_0_1_15_0_21084_0 , 2695_1002_0_1_15_0_21085_0
7832_983_5_1_15_0_21077_0 <- 5691_989_0_1_15_0_21087_0
7840_983_5_1_15_0_21127_0 <- 5691_989_0_1_15_0_21087_0
5261_979_1_1_15_0_21082_0 <- 5176_979_1_1_15_0_21090_0 , 7961_972_1_1_15_0_21141_0
4640_994_1_1_15_0_21083_0 <- 4573_998_1_1_15_0_21092_0 , 4597_994_1_1_15_0_21102_0
2709_1004_0_1_15_0_21084_0 <- 4476_999_1_1_15_0_21093_0
2695_1002_0_1_15_0_21085_0 <- 4476_999_1_1_15_0_21093_0
7961_983_0_1_15_0_21089_0 <- 7832_983_0_1_15_0_21096_0 , 7840_983_0_1_15_0_21143_0
5176_979_1_1_15_0_21090_0 <- 6898_984_1_1_15_0_21100_0
5184_979_1_1_15_0_21164_0 <- 6898_984_1_1_15_0_21100_0
4597_994_1_1_15_0_21102_0 <- 7511_986_0_1_15_0_21103_0
4573_998_1_1_15_0_21092_0 <- 7511_986_0_1_15_0_21103_0
4476_999_1_1_15_0_21093_0 <- 4417_999_1_1_15_0_21104_0 , 4468_999_1_1_15_0_21105_0
7832_983_0_1_15_0_21096_0 <- 5850_992_0_1_15_0_21108_0
7840_983_0_1_15_0_21143_0 <- 5850_992_0_1_15_0_21108_0
6898_984_1_1_15_0_21100_0 <- 6763_984_1_1_15_0_21110_0 , 6676_984_1_1_15_0_21123_0 , 6885_984_1_5_15_0_21299_0
7511_986_0_1_15_0_21103_0 <- 7351_986_0_1_15_0_21112_0 , 7367_986_0_1_15_0_21149_0
4417_999_1_1_15_0_21104_0 <- 2659_1008_0_1_15_0_21114_0
4468_999_1_1_15_0_21105_0 <- 2659_1008_0_1_15_0_21114_0
5586_990_0_1_15_0_21047_0 <- 5366_991_0_1_15_0_21117_0
5691_989_0_1_15_0_21087_0 <- 5366_991_0_1_15_0_21117_0
6693_984_1_5_15_0_21306_0 <- 6676_984_1_1_15_0_21123_0
7351_986_0_1_15_0_21112_0 <- 2739_1004_0_1_15_0_21126_0
7367_986_0_1_15_0_21149_0 <- 2739_1004_0_1_15_0_21126_0
9118_978_1_1_15_0_21122_0 <- 9112_978_1_1_15_0_21131_0 , 9102_977_1_1_15_0_21132_0
6676_984_1_1_15_0_21123_0 <- 6592_984_1_1_15_0_21133_0 , 4646_995_1_1_15_0_21140_0 , 6663_984_1_9_15_0_22357_0
6517_984_1_9_15_0_22371_0 <- 4646_995_1_1_15_0_21140_0
7961_972_1_1_15_0_21141_0 <- 7832_972_1_1_15_0_21144_0 , 7840_972_1_1_15_0_21161_0
9102_977_1_1_15_0_21132_0 <- 4698_995_1_1_15_0_21152_0
9112_978_1_1_15_0_21131_0 <- 4698_995_1_1_15_0_21152_0
7832_983_2_1_15_0_21080_0 <- 5952_993_0_1_15_0_21155_0
7840_983_2_1_15_0_21130_0 <- 5952_993_0_1_15_0_21155_0
7832_972_1_1_15_0_21144_0 <- 5184_979_1_1_15_0_21164_0
7840_972_1_1_15_0_21161_0 <- 5184_979_1_1_15_0_21164_0
6071_993_0_3_16_0_21166_0 <- 5944_993_0_3_16_0_21167_0 , 7961_983_2_3_16_0_21206_0
5944_993_0_3_16_0_21167_0 <- 5927_992_0_3_16_0_21168_0
5952_993_0_3_16_0_21289_0 <- 5927_992_0_3_16_0_21168_0
5927_992_0_3_16_0_21168_0 <- 5842_992_0_3_16_0_21170_0 , 7961_983_0_3_16_0_21223_0
5842_992_0_3_16_0_21170_0 <- 5733_991_0_3_16_0_21172_0
5850_992_0_3_16_0_21242_0 <- 5733_991_0_3_16_0_21172_0
5733_991_0_3_16_0_21172_0 <- 5340_991_0_3_16_0_21176_0 , 5730_989_0_3_16_0_21177_0
5340_991_0_3_16_0_21176_0 <- 2855_1004_0_3_16_0_21180_0
5366_991_0_3_16_0_21251_0 <- 2855_1004_0_3_16_0_21180_0
5730_989_0_3_16_0_21177_0 <- 5586_990_0_3_16_0_21181_0 , 7961_983_5_3_16_0_21205_0
2855_1004_0_3_16_0_21180_0 <- 7511_990_0_3_16_0_21185_0 , 4726_995_1_3_16_0_21194_0
7511_990_0_3_16_0_21185_0 <- 7351_990_0_3_16_0_21190_0 , 7367_990_0_3_16_0_21220_0
7351_990_0_3_16_0_21190_0 <- 2837_1004_0_3_16_0_21195_0
7367_990_0_3_16_0_21220_0 <- 2837_1004_0_3_16_0_21195_0
4726_995_1_3_16_0_21194_0 <- 4688_995_1_3_16_0_21198_0 , 9118_978_1_3_16_0_21256_0
4698_995_1_3_16_0_21286_0 <- 4688_995_1_3_16_0_21201_0
4688_995_1_3_16_0_21198_0 <- 4688_995_1_3_16_0_21201_0
4688_995_1_3_16_0_21201_0 <- 4640_994_1_3_16_0_21208_0 , 5261_979_1_3_16_0_21216_0
2739_1004_0_3_16_0_21260_0 <- 2713_1004_0_3_16_0_21209_0
2837_1004_0_3_16_0_21195_0 <- 2713_1004_0_3_16_0_21209_0
7961_983_5_3_16_0_21205_0 <- 7832_983_5_3_16_0_21211_0 , 7840_983_5_3_16_0_21261_0
7961_983_2_3_16_0_21206_0 <- 7832_983_2_3_16_0_21214_0 , 7840_983_2_3_16_0_21264_0
4646_995_1_3_16_0_21274_0 <- 4640_994_1_3_16_0_21217_0
4640_994_1_3_16_0_21208_0 <- 4640_994_1_3_16_0_21217_0
2713_1004_0_3_16_0_21209_0 <- 2709_1004_0_3_16_0_21218_0 , 2695_1002_0_3_16_0_21219_0
7832_983_5_3_16_0_21211_0 <- 5691_989_0_3_16_0_21221_0
7840_983_5_3_16_0_21261_0 <- 5691_989_0_3_16_0_21221_0
5261_979_1_3_16_0_21216_0 <- 5176_979_1_3_16_0_21224_0 , 7961_972_1_3_16_0_21275_0
4640_994_1_3_16_0_21217_0 <- 4573_998_1_3_16_0_21226_0 , 4597_994_1_3_16_0_21236_0
2709_1004_0_3_16_0_21218_0 <- 4476_999_1_3_16_0_21227_0
2695_1002_0_3_16_0_21219_0 <- 4476_999_1_3_16_0_21227_0
7961_983_0_3_16_0_21223_0 <- 7832_983_0_3_16_0_21230_0 , 7840_983_0_3_16_0_21277_0
5176_979_1_3_16_0_21224_0 <- 6898_984_1_3_16_0_21234_0
5184_979_1_3_16_0_21298_0 <- 6898_984_1_3_16_0_21234_0
4597_994_1_3_16_0_21236_0 <- 7511_986_0_3_16_0_21237_0
4573_998_1_3_16_0_21226_0 <- 7511_986_0_3_16_0_21237_0
4476_999_1_3_16_0_21227_0 <- 4417_999_1_3_16_0_21238_0 , 4468_999_1_3_16_0_21239_0
7832_983_0_3_16_0_21230_0 <- 5850_992_0_3_16_0_21242_0
7840_983_0_3_16_0_21277_0 <- 5850_992_0_3_16_0_21242_0
6898_984_1_3_16_0_21234_0 <- 6763_984_1_3_16_0_21244_0 , 6676_984_1_3_16_0_21257_0 , 6885_984_1_7_16_0_21828_0
7511_986_0_3_16_0_21237_0 <- 7351_986_0_3_16_0_21246_0 , 7367_986_0_3_16_0_21283_0
4417_999_1_3_16_0_21238_0 <- 2659_1008_0_3_16_0_21248_0
4468_999_1_3_16_0_21239_0 <- 2659_1008_0_3_16_0_21248_0
5586_990_0_3_16_0_21181_0 <- 5366_991_0_3_16_0_21251_0
5691_989_0_3_16_0_21221_0 <- 5366_991_0_3_16_0_21251_0
6693_984_1_7_16_0_21835_0 <- 6676_984_1_3_16_0_21257_0
7351_986_0_3_16_0_21246_0 <- 2739_1004_0_3_16_0_21260_0
7367_986_0_3_16_0_21283_0 <- 2739_1004_0_3_16_0_21260_0
9118_978_1_3_16_0_21256_0 <- 9112_978_1_3_16_0_21265_0 , 9102_977_1_3_16_0_21266_0
6676_984_1_3_16_0_21257_0 <- 6592_984_1_3_16_0_21267_0 , 4646_995_1_3_16_0_21274_0 , 6663_984_1_11_16_0_22920_0
6517_984_1_11_16_0_22934_0 <- 4646_995_1_3_16_0_21274_0
7961_972_1_3_16_0_21275_0 <- 7832_972_1_3_16_0_21278_0 , 7840_972_1_3_16_0_21295_0
9102_977_1_3_16_0_21266_0 <- 4698_995_1_3_16_0_21286_0
9112_978_1_3_16_0_21265_0 <- 4698_995_1_3_16_0_21286_0
7832_983_2_3_16_0_21214_0 <- 5952_993_0_3_16_0_21289_0
7840_983_2_3_16_0_21264_0 <- 5952_993_0_3_16_0_21289_0
7832_972_1_3_16_0_21278_0 <- 5184_979_1_3_16_0_21298_0
7840_972_1_3_16_0_21295_0 <- 5184_979_1_3_16_0_21298_0
6885_984_1_5_15_0_21299_0 <- 6724_984_1_5_15_0_21301_0 , 9050_974_1_5_15_0_21302_0
9050_974_1_5_15_0_21302_0 <- 8878_974_1_5_15_0_21304_0 , 8983_971_1_5_15_0_21305_0 , 9009_972_1_5_15_0_21352_0
6728_984_1_5_15_0_21441_0 <- 6693_984_1_5_15_0_21306_0
6724_984_1_5_15_0_21301_0 <- 6693_984_1_5_15_0_21306_0
8878_974_1_5_15_0_21304_0 <- 8860_977_1_5_15_0_21308_0
8886_974_1_5_15_0_21317_0 <- 8860_977_1_5_15_0_21308_0
8993_971_1_5_15_0_21463_0 <- 8962_972_1_5_15_0_21309_0
8983_971_1_5_15_0_21305_0 <- 8962_972_1_5_15_0_21309_0
8860_977_1_5_15_0_21308_0 <- 11442_963_1_5_15_0_21310_0 , 12484_955_1_5_15_0_21311_0
12484_955_1_5_15_0_21311_0 <- 12276_955_1_5_15_0_21315_0 , 12315_954_1_5_15_0_21316_0 , 12621_943_1_5_15_0_21328_0
8920_972_1_5_15_0_21477_0 <- 8886_974_1_5_15_0_21317_0
8962_972_1_5_15_0_21309_0 <- 8886_974_1_5_15_0_21317_0
12315_954_1_5_15_0_21316_0 <- 12283_955_1_5_15_0_21324_0
12323_954_1_5_15_0_21381_0 <- 12283_955_1_5_15_0_21324_0
11442_963_1_5_15_0_21310_0 <- 12621_955_1_5_15_0_21326_0 , 12621_956_1_5_15_0_21327_0
12621_955_1_5_15_0_21326_0 <- 12504_955_1_5_15_0_21330_0 , 12512_955_1_5_15_0_21343_0
12621_956_1_5_15_0_21327_0 <- 12504_956_1_5_15_0_21332_0 , 12512_956_1_5_15_0_21344_0
12621_943_1_5_15_0_21328_0 <- 12504_943_1_5_15_0_21334_0 , 12512_943_1_5_15_0_21347_0
12504_955_1_5_15_0_21330_0 <- 11311_963_1_5_15_0_21337_0
12512_955_1_5_15_0_21343_0 <- 11311_963_1_5_15_0_21337_0
12504_956_1_5_15_0_21332_0 <- 11378_963_1_5_15_0_21338_0
12512_956_1_5_15_0_21344_0 <- 11378_963_1_5_15_0_21338_0
12276_955_1_5_15_0_21315_0 <- 8659_974_1_5_15_0_21339_0
12283_955_1_5_15_0_21324_0 <- 8659_974_1_5_15_0_21339_0
8684_974_1_5_15_0_21453_0 <- 9786_969_1_5_15_0_21345_0
8659_974_1_5_15_0_21339_0 <- 9786_969_1_5_15_0_21345_0
9786_969_1_5_15_0_21345_0 <- 9675_966_1_5_15_0_21349_0 , 9698_966_1_5_15_0_21350_0
11378_963_1_5_15_0_21338_0 <- 11272_967_1_5_15_0_21353_0
11311_963_1_5_15_0_21337_0 <- 11272_967_1_5_15_0_21353_0
11272_967_1_5_15_0_21353_0 <- 11111_967_1_5_15_0_21357_0 , 11119_967_1_5_15_0_21391_0
9009_972_1_5_15_0_21352_0 <- 13139_960_1_5_15_0_21358_0 , 13139_961_1_5_15_0_21359_0
13139_960_1_5_15_0_21358_0 <- 13115_960_1_5_15_0_21360_0 , 13051_963_1_5_15_0_21361_0
13139_961_1_5_15_0_21359_0 <- 13115_961_1_5_15_0_21362_0 , 13051_964_1_5_15_0_21363_0
11111_967_1_5_15_0_21357_0 <- 12484_953_1_5_15_0_21364_0
11119_967_1_5_15_0_21391_0 <- 12484_953_1_5_15_0_21364_0
12504_943_1_5_15_0_21334_0 <- 12621_947_1_5_15_0_21366_0
12512_943_1_5_15_0_21347_0 <- 12621_947_1_5_15_0_21366_0
13115_960_1_5_15_0_21360_0 <- 13046_963_1_5_15_0_21367_0
13051_963_1_5_15_0_21361_0 <- 13046_963_1_5_15_0_21367_0
13115_961_1_5_15_0_21362_0 <- 13046_964_1_5_15_0_21368_0
13051_964_1_5_15_0_21363_0 <- 13046_964_1_5_15_0_21368_0
12484_953_1_5_15_0_21364_0 <- 12276_953_1_5_15_0_21369_0 , 12315_952_1_5_15_0_21370_0 , 12621_941_1_5_15_0_21400_0
12621_947_1_5_15_0_21366_0 <- 12504_947_1_5_15_0_21372_0 , 12512_947_1_5_15_0_21393_0
13046_963_1_5_15_0_21367_0 <- 13000_963_1_5_15_0_21374_0 , 16298_960_1_5_15_0_21375_0
13046_964_1_5_15_0_21368_0 <- 13000_964_1_5_15_0_21376_0 , 16298_961_1_5_15_0_21377_0
12504_947_1_5_15_0_21372_0 <- 12323_954_1_5_15_0_21381_0
12512_947_1_5_15_0_21393_0 <- 12323_954_1_5_15_0_21381_0
16298_960_1_5_15_0_21375_0 <- 13301_960_1_5_15_0_21383_0 , 13309_960_1_5_15_0_21826_0
16298_961_1_5_15_0_21377_0 <- 13301_961_1_5_15_0_21386_0 , 13309_961_1_5_15_0_21827_0
12315_952_1_5_15_0_21370_0 <- 12283_953_1_5_15_0_21389_0
12323_952_1_5_15_0_21475_0 <- 12283_953_1_5_15_0_21389_0
13000_963_1_5_15_0_21374_0 <- 12911_960_1_5_15_0_21402_0
13008_963_1_5_15_0_21403_0 <- 12911_960_1_5_15_0_21402_0
13301_960_1_5_15_0_21383_0 <- 13008_963_1_5_15_0_21403_0
13309_960_1_5_15_0_21826_0 <- 13008_963_1_5_15_0_21403_0
13000_964_1_5_15_0_21376_0 <- 12911_961_1_5_15_0_21406_0
13008_964_1_5_15_0_21407_0 <- 12911_961_1_5_15_0_21406_0
13301_961_1_5_15_0_21386_0 <- 13008_964_1_5_15_0_21407_0
13309_961_1_5_15_0_21827_0 <- 13008_964_1_5_15_0_21407_0
12621_941_1_5_15_0_21400_0 <- 12504_941_1_5_15_0_21410_0 , 12512_941_1_5_15_0_21428_0
12911_960_1_5_15_0_21402_0 <- 12887_960_1_5_15_0_21413_0 , 12838_959_1_5_15_0_21414_0
12911_961_1_5_15_0_21406_0 <- 12887_961_1_5_15_0_21416_0 , 12838_960_1_5_15_0_21417_0
9726_967_1_0_15_0_20048_0 <- 6767_984_1_5_15_0_21429_0 , 9712_966_1_47_15_0_24565_0
9636_967_1_47_15_0_24568_0 <- 6767_984_1_5_15_0_21429_0
6767_984_1_5_15_0_21429_0 <- 6728_984_1_5_15_0_21441_0
6763_984_1_1_15_0_21110_0 <- 6728_984_1_5_15_0_21441_0
12887_960_1_5_15_0_21413_0 <- 12621_959_1_5_15_0_21449_0
12838_959_1_5_15_0_21414_0 <- 12621_959_1_5_15_0_21449_0
12887_961_1_5_15_0_21416_0 <- 12621_960_1_5_15_0_21451_0
12838_960_1_5_15_0_21417_0 <- 12621_960_1_5_15_0_21451_0
12276_953_1_5_15_0_21369_0 <- 8684_974_1_5_15_0_21453_0
12283_953_1_5_15_0_21389_0 <- 8684_974_1_5_15_0_21453_0
12621_959_1_5_15_0_21449_0 <- 12504_959_1_5_15_0_21454_0 , 12512_959_1_5_15_0_21469_0
12621_960_1_5_15_0_21451_0 <- 12504_960_1_5_15_0_21458_0 , 12512_960_1_5_15_0_21472_0
12504_941_1_5_15_0_21410_0 <- 12621_945_1_5_15_0_21462_0
12512_941_1_5_15_0_21428_0 <- 12621_945_1_5_15_0_21462_0
12504_959_1_5_15_0_21454_0 <- 8993_971_1_5_15_0_21463_0
12512_959_1_5_15_0_21469_0 <- 8993_971_1_5_15_0_21463_0
12621_945_1_5_15_0_21462_0 <- 12504_945_1_5_15_0_21467_0 , 12512_945_1_5_15_0_21479_0
12504_945_1_5_15_0_21467_0 <- 12323_952_1_5_15_0_21475_0
12512_945_1_5_15_0_21479_0 <- 12323_952_1_5_15_0_21475_0
12504_960_1_5_15_0_21458_0 <- 8920_972_1_5_15_0_21477_0
12512_960_1_5_15_0_21472_0 <- 8920_972_1_5_15_0_21477_0
6885_984_1_7_16_0_21828_0 <- 6724_984_1_7_16_0_21830_0 , 9050_974_1_7_16_0_21831_0
9050_974_1_7_16_0_21831_0 <- 8878_974_1_7_16_0_21833_0 , 8983_971_1_7_16_0_21834_0 , 9009_972_1_7_16_0_21881_0
6728_984_1_7_16_0_21970_0 <- 6693_984_1_7_16_0_21835_0
6724_984_1_7_16_0_21830_0 <- 6693_984_1_7_16_0_21835_0
8878_974_1_7_16_0_21833_0 <- 8860_977_1_7_16_0_21837_0
8886_974_1_7_16_0_21846_0 <- 8860_977_1_7_16_0_21837_0
8993_971_1_7_16_0_21992_0 <- 8962_972_1_7_16_0_21838_0
8983_971_1_7_16_0_21834_0 <- 8962_972_1_7_16_0_21838_0
8860_977_1_7_16_0_21837_0 <- 11442_963_1_7_16_0_21839_0 , 12484_955_1_7_16_0_21840_0
12484_955_1_7_16_0_21840_0 <- 12276_955_1_7_16_0_21844_0 , 12315_954_1_7_16_0_21845_0 , 12621_943_1_7_16_0_21857_0
8920_972_1_7_16_0_22006_0 <- 8886_974_1_7_16_0_21846_0
8962_972_1_7_16_0_21838_0 <- 8886_974_1_7_16_0_21846_0
12315_954_1_7_16_0_21845_0 <- 12283_955_1_7_16_0_21853_0
12323_954_1_7_16_0_21910_0 <- 12283_955_1_7_16_0_21853_0
11442_963_1_7_16_0_21839_0 <- 12621_955_1_7_16_0_21855_0 , 12621_956_1_7_16_0_21856_0
12621_955_1_7_16_0_21855_0 <- 12504_955_1_7_16_0_21859_0 , 12512_955_1_7_16_0_21872_0
12621_956_1_7_16_0_21856_0 <- 12504_956_1_7_16_0_21861_0 , 12512_956_1_7_16_0_21873_0
12621_943_1_7_16_0_21857_0 <- 12504_943_1_7_16_0_21863_0 , 12512_943_1_7_16_0_21876_0
12504_955_1_7_16_0_21859_0 <- 11311_963_1_7_16_0_21866_0
12512_955_1_7_16_0_21872_0 <- 11311_963_1_7_16_0_21866_0
12504_956_1_7_16_0_21861_0 <- 11378_963_1_7_16_0_21867_0
12512_956_1_7_16_0_21873_0 <- 11378_963_1_7_16_0_21867_0
12276_955_1_7_16_0_21844_0 <- 8659_974_1_7_16_0_21868_0
12283_955_1_7_16_0_21853_0 <- 8659_974_1_7_16_0_21868_0
8684_974_1_7_16_0_21982_0 <- 9786_969_1_7_16_0_21874_0
8659_974_1_7_16_0_21868_0 <- 9786_969_1_7_16_0_21874_0
9786_969_1_7_16_0_21874_0 <- 9675_966_1_7_16_0_21878_0 , 9698_966_1_7_16_0_21879_0
11378_963_1_7_16_0_21867_0 <- 11272_967_1_7_16_0_21882_0
11311_963_1_7_16_0_21866_0 <- 11272_967_1_7_16_0_21882_0
11272_967_1_7_16_0_21882_0 <- 11111_967_1_7_16_0_21886_0 , 11119_967_1_7_16_0_21920_0
9009_972_1_7_16_0_21881_0 <- 13139_960_1_7_16_0_21887_0 , 13139_961_1_7_16_0_21888_0
13139_960_1_7_16_0_21887_0 <- 13115_960_1_7_16_0_21889_0 , 13051_963_1_7_16_0_21890_0
13139_961_1_7_16_0_21888_0 <- 13115_961_1_7_16_0_21891_0 , 13051_964_1_7_16_0_21892_0
11111_967_1_7_16_0_21886_0 <- 12484_953_1_7_16_0_21893_0
11119_967_1_7_16_0_21920_0 <- 12484_953_1_7_16_0_21893_0
12504_943_1_7_16_0_21863_0 <- 12621_947_1_7_16_0_21895_0
12512_943_1_7_16_0_21876_0 <- 12621_947_1_7_16_0_21895_0
13115_960_1_7_16_0_21889_0 <- 13046_963_1_7_16_0_21896_0
13051_963_1_7_16_0_21890_0 <- 13046_963_1_7_16_0_21896_0
13115_961_1_7_16_0_21891_0 <- 13046_964_1_7_16_0_21897_0
13051_964_1_7_16_0_21892_0 <- 13046_964_1_7_16_0_21897_0
12484_953_1_7_16_0_21893_0 <- 12276_953_1_7_16_0_21898_0 , 12315_952_1_7_16_0_21899_0 , 12621_941_1_7_16_0_21929_0
12621_947_1_7_16_0_21895_0 <- 12504_947_1_7_16_0_21901_0 , 12512_947_1_7_16_0_21922_0
13046_963_1_7_16_0_21896_0 <- 13000_963_1_7_16_0_21903_0 , 16298_960_1_7_16_0_21904_0
13046_964_1_7_16_0_21897_0 <- 13000_964_1_7_16_0_21905_0 , 16298_961_1_7_16_0_21906_0
12504_947_1_7_16_0_21901_0 <- 12323_954_1_7_16_0_21910_0
12512_947_1_7_16_0_21922_0 <- 12323_954_1_7_16_0_21910_0
16298_960_1_7_16_0_21904_0 <- 13301_960_1_7_16_0_21912_0 , 13309_960_1_7_16_0_22355_0
16298_961_1_7_16_0_21906_0 <- 13301_961_1_7_16_0_21915_0 , 13309_961_1_7_16_0_22356_0
12315_952_1_7_16_0_21899_0 <- 12283_953_1_7_16_0_21918_0
12323_952_1_7_16_0_22004_0 <- 12283_953_1_7_16_0_21918_0
13000_963_1_7_16_0_21903_0 <- 12911_960_1_7_16_0_21931_0
13008_963_1_7_16_0_21932_0 <- 12911_960_1_7_16_0_21931_0
13301_960_1_7_16_0_21912_0 <- 13008_963_1_7_16_0_21932_0
13309_960_1_7_16_0_22355_0 <- 13008_963_1_7_16_0_21932_0
13000_964_1_7_16_0_21905_0 <- 12911_961_1_7_16_0_21935_0
13008_964_1_7_16_0_21936_0 <- 12911_961_1_7_16_0_21935_0
13301_961_1_7_16_0_21915_0 <- 13008_964_1_7_16_0_21936_0
13309_961_1_7_16_0_22356_0 <- 13008_964_1_7_16_0_21936_0
12621_941_1_7_16_0_21929_0 <- 12504_941_1_7_16_0_21939_0 , 12512_941_1_7_16_0_21957_0
12911_960_1_7_16_0_21931_0 <- 12887_960_1_7_16_0_21942_0 , 12838_959_1_7_16_0_21943_0
12911_961_1_7_16_0_21935_0 <- 12887_961_1_7_16_0_21945_0 , 12838_960_1_7_16_0_21946_0
9726_967_1_0_16_0_20352_0 <- 6767_984_1_7_16_0_21958_0 , 9712_966_1_51_16_0_24573_0
9636_967_1_51_16_0_24576_0 <- 6767_984_1_7_16_0_21958_0
6767_984_1_7_16_0_21958_0 <- 6728_984_1_7_16_0_21970_0
6763_984_1_3_16_0_21244_0 <- 6728_984_1_7_16_0_21970_0
12887_960_1_7_16_0_21942_0 <- 12621_959_1_7_16_0_21978_0
12838_959_1_7_16_0_21943_0 <- 12621_959_1_7_16_0_21978_0
12887_961_1_7_16_0_21945_0 <- 12621_960_1_7_16_0_21980_0
12838_960_1_7_16_0_21946_0 <- 12621_960_1_7_16_0_21980_0
12276_953_1_7_16_0_21898_0 <- 8684_974_1_7_16_0_21982_0
12283_953_1_7_16_0_21918_0 <- 8684_974_1_7_16_0_21982_0
12621_959_1_7_16_0_21978_0 <- 12504_959_1_7_16_0_21983_0 , 12512_959_1_7_16_0_21998_0
12621_960_1_7_16_0_21980_0 <- 12504_960_1_7_16_0_21987_0 , 12512_960_1_7_16_0_22001_0
12504_941_1_7_16_0_21939_0 <- 12621_945_1_7_16_0_21991_0
12512_941_1_7_16_0_21957_0 <- 12621_945_1_7_16_0_21991_0
12504_959_1_7_16_0_21983_0 <- 8993_971_1_7_16_0_21992_0
12512_959_1_7_16_0_21998_0 <- 8993_971_1_7_16_0_21992_0
12621_945_1_7_16_0_21991_0 <- 12504_945_1_7_16_0_21996_0 , 12512_945_1_7_16_0_22008_0
12504_945_1_7_16_0_21996_0 <- 12323_952_1_7_16_0_22004_0
12512_945_1_7_16_0_22008_0 <- 12323_952_1_7_16_0_22004_0
12504_960_1_7_16_0_21987_0 <- 8920_972_1_7_16_0_22006_0
12512_960_1_7_16_0_22001_0 <- 8920_972_1_7_16_0_22006_0
6663_984_1_9_15_0_22357_0 <- 6553_984_1_9_15_0_22359_0 , 8605_973_1_9_15_0_22362_0
8605_973_1_9_15_0_22362_0 <- 9050_962_1_9_15_0_22366_0 , 8434_970_1_9_15_0_22373_0
9050_962_1_9_15_0_22366_0 <- 8878_962_1_9_15_0_22369_0 , 8983_959_1_9_15_0_22370_0 , 9009_960_1_9_15_0_22396_0
6557_984_1_9_15_0_22721_0 <- 6517_984_1_9_15_0_22371_0
6553_984_1_9_15_0_22359_0 <- 6517_984_1_9_15_0_22371_0
8878_962_1_9_15_0_22369_0 <- 8524_970_1_9_15_0_22374_0
8886_962_1_9_15_0_22380_0 <- 8524_970_1_9_15_0_22374_0
8993_959_1_9_15_0_22493_0 <- 8962_960_1_9_15_0_22375_0
8983_959_1_9_15_0_22370_0 <- 8962_960_1_9_15_0_22375_0
8920_960_1_9_15_0_22504_0 <- 8886_962_1_9_15_0_22380_0
8962_960_1_9_15_0_22375_0 <- 8886_962_1_9_15_0_22380_0
9009_960_1_9_15_0_22396_0 <- 13139_948_2_9_15_0_22400_0 , 13139_949_1_9_15_0_22401_0
13139_948_2_9_15_0_22400_0 <- 13115_948_2_9_15_0_22402_0 , 13051_951_2_9_15_0_22403_0
13139_949_1_9_15_0_22401_0 <- 13115_949_1_9_15_0_22404_0 , 13051_952_1_9_15_0_22405_0
13115_948_2_9_15_0_22402_0 <- 13046_951_2_9_15_0_22406_0
13051_951_2_9_15_0_22403_0 <- 13046_951_2_9_15_0_22406_0
13115_949_1_9_15_0_22404_0 <- 13046_952_1_9_15_0_22407_0
13051_952_1_9_15_0_22405_0 <- 13046_952_1_9_15_0_22407_0
13046_951_2_9_15_0_22406_0 <- 13000_951_2_9_15_0_22408_0 , 16298_948_2_9_15_0_22409_0
13046_952_1_9_15_0_22407_0 <- 13000_952_1_9_15_0_22410_0 , 16298_949_1_9_15_0_22411_0
16298_948_2_9_15_0_22409_0 <- 13301_948_2_9_15_0_22413_0 , 13309_948_2_9_15_0_22918_0
16298_949_1_9_15_0_22411_0 <- 13301_949_1_9_15_0_22416_0 , 13309_949_1_9_15_0_22919_0
8434_970_1_9_15_0_22373_0 <- 7961_947_1_9_15_0_22418_0
8524_970_1_9_15_0_22374_0 <- 7961_947_1_9_15_0_22418_0
7961_947_1_9_15_0_22418_0 <- 7832_947_1_9_15_0_22425_0 , 7840_947_1_9_15_0_22468_0
13000_951_2_9_15_0_22408_0 <- 12911_948_2_9_15_0_22427_0
13008_951_2_9_15_0_22428_0 <- 12911_948_2_9_15_0_22427_0
13301_948_2_9_15_0_22413_0 <- 13008_951_2_9_15_0_22428_0
13309_948_2_9_15_0_22918_0 <- 13008_951_2_9_15_0_22428_0
13000_952_1_9_15_0_22410_0 <- 12911_949_1_9_15_0_22431_0
13008_952_1_9_15_0_22432_0 <- 12911_949_1_9_15_0_22431_0
13301_949_1_9_15_0_22416_0 <- 13008_952_1_9_15_0_22432_0
13309_949_1_9_15_0_22919_0 <- 13008_952_1_9_15_0_22432_0
7832_947_1_9_15_0_22425_0 <- 7961_945_1_9_15_0_22435_0
7840_947_1_9_15_0_22468_0 <- 7961_945_1_9_15_0_22435_0
12911_948_2_9_15_0_22427_0 <- 12887_948_2_9_15_0_22436_0 , 12838_947_2_9_15_0_22437_0
12911_949_1_9_15_0_22431_0 <- 12887_949_1_9_15_0_22439_0 , 12838_948_1_9_15_0_22440_0
7961_945_1_9_15_0_22435_0 <- 7832_945_1_9_15_0_22442_0 , 7840_945_1_9_15_0_22480_0
12887_948_2_9_15_0_22436_0 <- 12621_947_4_9_15_0_22481_0
12838_947_2_9_15_0_22437_0 <- 12621_947_4_9_15_0_22481_0
12887_949_1_9_15_0_22439_0 <- 12621_948_1_9_15_0_22483_0
12838_948_1_9_15_0_22440_0 <- 12621_948_1_9_15_0_22483_0
12621_947_4_9_15_0_22481_0 <- 12504_947_4_9_15_0_22485_0 , 12512_947_4_9_15_0_22497_0
12621_948_1_9_15_0_22483_0 <- 12504_948_1_9_15_0_22489_0 , 12512_948_1_9_15_0_22500_0
12504_947_4_9_15_0_22485_0 <- 8993_959_1_9_15_0_22493_0
12512_947_4_9_15_0_22497_0 <- 8993_959_1_9_15_0_22493_0
12504_948_1_9_15_0_22489_0 <- 8920_960_1_9_15_0_22504_0
12512_948_1_9_15_0_22500_0 <- 8920_960_1_9_15_0_22504_0
7832_945_1_9_15_0_22442_0 <- 7961_948_1_9_15_0_22510_0
7840_945_1_9_15_0_22480_0 <- 7961_948_1_9_15_0_22510_0
7961_948_1_9_15_0_22510_0 <- 7832_948_1_9_15_0_22513_0 , 7840_948_1_9_15_0_22543_0
7832_948_1_9_15_0_22513_0 <- 7961_946_1_9_15_0_22519_0
7840_948_1_9_15_0_22543_0 <- 7961_946_1_9_15_0_22519_0
7961_946_1_9_15_0_22519_0 <- 7832_946_1_9_15_0_22522_0 , 7840_946_1_9_15_0_22555_0
7832_946_1_9_15_0_22522_0 <- 9996_963_1_9_15_0_22546_0
7840_946_1_9_15_0_22555_0 <- 9996_963_1_9_15_0_22546_0
9996_963_1_9_15_0_22546_0 <- 9986_963_1_9_15_0_22553_0 , 9979_963_1_9_15_0_22554_0
9986_963_1_9_15_0_22553_0 <- 12484_940_1_9_15_0_22571_0
9979_963_1_9_15_0_22554_0 <- 12484_940_1_9_15_0_22571_0
12484_940_1_9_15_0_22571_0 <- 12276_940_1_9_15_0_22574_0 , 12315_939_1_9_15_0_22575_0 , 12621_928_1_9_15_0_22590_0
12315_939_1_9_15_0_22575_0 <- 12283_940_1_9_15_0_22584_0
12323_939_1_9_15_0_22630_0 <- 12283_940_1_9_15_0_22584_0
12621_928_1_9_15_0_22590_0 <- 12504_928_1_9_15_0_22593_0 , 12512_928_1_9_15_0_22605_0
12504_928_1_9_15_0_22593_0 <- 12621_929_1_9_15_0_22599_0
12512_928_1_9_15_0_22605_0 <- 12621_929_1_9_15_0_22599_0
12621_929_1_9_15_0_22599_0 <- 12504_929_1_9_15_0_22603_0 , 12512_929_1_9_15_0_22613_0
12504_929_1_9_15_0_22603_0 <- 12621_932_1_9_15_0_22620_0
12512_929_1_9_15_0_22613_0 <- 12621_932_1_9_15_0_22620_0
12621_932_1_9_15_0_22620_0 <- 12504_932_1_9_15_0_22625_0 , 12512_932_1_9_15_0_22635_0
12504_932_1_9_15_0_22625_0 <- 12323_939_1_9_15_0_22630_0
12512_932_1_9_15_0_22635_0 <- 12323_939_1_9_15_0_22630_0
12276_940_1_9_15_0_22574_0 <- 9786_964_1_9_15_0_22645_0
12283_940_1_9_15_0_22584_0 <- 9786_964_1_9_15_0_22645_0
9786_964_1_9_15_0_22645_0 <- 9675_961_1_9_15_0_22650_0 , 9698_961_1_9_15_0_22651_0
9726_962_1_0_15_0_20047_0 <- 8178_971_1_9_15_0_22692_0 , 9712_961_1_45_15_0_24561_0
9636_962_1_45_15_0_24564_0 <- 8178_971_1_9_15_0_22692_0
8178_971_1_9_15_0_22692_0 <- 8168_971_1_9_15_0_22695_0 , 8161_971_1_9_15_0_22696_0
8168_971_1_9_15_0_22695_0 <- 6596_984_1_9_15_0_22713_0
8161_971_1_9_15_0_22696_0 <- 6596_984_1_9_15_0_22713_0
6596_984_1_9_15_0_22713_0 <- 6557_984_1_9_15_0_22721_0
6592_984_1_1_15_0_21133_0 <- 6557_984_1_9_15_0_22721_0
6663_984_1_11_16_0_22920_0 <- 6553_984_1_11_16_0_22922_0 , 8605_973_1_11_16_0_22925_0
8605_973_1_11_16_0_22925_0 <- 9050_962_1_11_16_0_22929_0 , 8434_970_1_11_16_0_22936_0
9050_962_1_11_16_0_22929_0 <- 8878_962_1_11_16_0_22932_0 , 8983_959_1_11_16_0_22933_0 , 9009_960_1_11_16_0_22959_0
6557_984_1_11_16_0_23284_0 <- 6517_984_1_11_16_0_22934_0
6553_984_1_11_16_0_22922_0 <- 6517_984_1_11_16_0_22934_0
8878_962_1_11_16_0_22932_0 <- 8524_970_1_11_16_0_22937_0
8886_962_1_11_16_0_22943_0 <- 8524_970_1_11_16_0_22937_0
8993_959_1_11_16_0_23056_0 <- 8962_960_1_11_16_0_22938_0
8983_959_1_11_16_0_22933_0 <- 8962_960_1_11_16_0_22938_0
8920_960_1_11_16_0_23067_0 <- 8886_962_1_11_16_0_22943_0
8962_960_1_11_16_0_22938_0 <- 8886_962_1_11_16_0_22943_0
9009_960_1_11_16_0_22959_0 <- 13139_948_2_11_16_0_22963_0 , 13139_949_1_11_16_0_22964_0
13139_948_2_11_16_0_22963_0 <- 13115_948_2_11_16_0_22965_0 , 13051_951_2_11_16_0_22966_0
13139_949_1_11_16_0_22964_0 <- 13115_949_1_11_16_0_22967_0 , 13051_952_1_11_16_0_22968_0
13115_948_2_11_16_0_22965_0 <- 13046_951_2_11_16_0_22969_0
13051_951_2_11_16_0_22966_0 <- 13046_951_2_11_16_0_22969_0
13115_949_1_11_16_0_22967_0 <- 13046_952_1_11_16_0_22970_0
13051_952_1_11_16_0_22968_0 <- 13046_952_1_11_16_0_22970_0
13046_951_2_11_16_0_22969_0 <- 13000_951_2_11_16_0_22971_0 , 16298_948_2_11_16_0_22972_0
13046_952_1_11_16_0_22970_0 <- 13000_952_1_11_16_0_22973_0 , 16298_949_1_11_16_0_22974_0
16298_948_2_11_16_0_22972_0 <- 13301_948_2_11_16_0_22976_0 , 13309_948_2_11_16_0_23481_0
16298_949_1_11_16_0_22974_0 <- 13301_949_1_11_16_0_22979_0 , 13309_949_1_11_16_0_23482_0
8434_970_1_11_16_0_22936_0 <- 7961_947_1_11_16_0_22981_0
8524_970_1_11_16_0_22937_0 <- 7961_947_1_11_16_0_22981_0
7961_947_1_11_16_0_22981_0 <- 7832_947_1_11_16_0_22988_0 , 7840_947_1_11_16_0_23031_0
13000_951_2_11_16_0_22971_0 <- 12911_948_2_11_16_0_22990_0
13008_951_2_11_16_0_22991_0 <- 12911_948_2_11_16_0_22990_0
13301_948_2_11_16_0_22976_0 <- 13008_951_2_11_16_0_22991_0
13309_948_2_11_16_0_23481_0 <- 13008_951_2_11_16_0_22991_0
13000_952_1_11_16_0_22973_0 <- 12911_949_1_11_16_0_22994_0
13008_952_1_11_16_0_22995_0 <- 12911_949_1_11_16_0_22994_0
13301_949_1_11_16_0_22979_0 <- 13008_952_1_11_16_0_22995_0
13309_949_1_11_16_0_23482_0 <- 13008_952_1_11_16_0_22995_0
7832_947_1_11_16_0_22988_0 <- 7961_945_1_11_16_0_22998_0
7840_947_1_11_16_0_23031_0 <- 7961_945_1_11_16_0_22998_0
12911_948_2_11_16_0_22990_0 <- 12887_948_2_11_16_0_22999_0 , 12838_947_2_11_16_0_23000_0
12911_949_1_11_16_0_22994_0 <- 12887_949_1_11_16_0_23002_0 , 12838_948_1_11_16_0_23003_0
7961_945_1_11_16_0_22998_0 <- 7832_945_1_11_16_0_23005_0 , 7840_945_1_11_16_0_23043_0
12887_948_2_11_16_0_22999_0 <- 12621_947_4_11_16_0_23044_0
12838_947_2_11_16_0_23000_0 <- 12621_947_4_11_16_0_23044_0
12887_949_1_11_16_0_23002_0 <- 12621_948_1_11_16_0_23046_0
12838_948_1_11_16_0_23003_0 <- 12621_948_1_11_16_0_23046_0
12621_947_4_11_16_0_23044_0 <- 12504_947_4_11_16_0_23048_0 , 12512_947_4_11_16_0_23060_0
12621_948_1_11_16_0_23046_0 <- 12504_948_1_11_16_0_23052_0 , 12512_948_1_11_16_0_23063_0
12504_947_4_11_16_0_23048_0 <- 8993_959_1_11_16_0_23056_0
12512_947_4_11_16_0_23060_0 <- 8993_959_1_11_16_0_23056_0
12504_948_1_11_16_0_23052_0 <- 8920_960_1_11_16_0_23067_0
12512_948_1_11_16_0_23063_0 <- 8920_960_1_11_16_0_23067_0
7832_945_1_11_16_0_23005_0 <- 7961_948_1_11_16_0_23073_0
7840_945_1_11_16_0_23043_0 <- 7961_948_1_11_16_0_23073_0
7961_948_1_11_16_0_23073_0 <- 7832_948_1_11_16_0_23076_0 , 7840_948_1_11_16_0_23106_0
7832_948_1_11_16_0_23076_0 <- 7961_946_1_11_16_0_23082_0
7840_948_1_11_16_0_23106_0 <- 7961_946_1_11_16_0_23082_0
7961_946_1_11_16_0_23082_0 <- 7832_946_1_11_16_0_23085_0 , 7840_946_1_11_16_0_23118_0
7832_946_1_11_16_0_23085_0 <- 9996_963_1_11_16_0_23109_0
7840_946_1_11_16_0_23118_0 <- 9996_963_1_11_16_0_23109_0
9996_963_1_11_16_0_23109_0 <- 9986_963_1_11_16_0_23116_0 , 9979_963_1_11_16_0_23117_0
9986_963_1_11_16_0_23116_0 <- 12484_940_1_11_16_0_23134_0
9979_963_1_11_16_0_23117_0 <- 12484_940_1_11_16_0_23134_0
12484_940_1_11_16_0_23134_0 <- 12276_940_1_11_16_0_23137_0 , 12315_939_1_11_16_0_23138_0 , 12621_928_1_11_16_0_23153_0
12315_939_1_11_16_0_23138_0 <- 12283_940_1_11_16_0_23147_0
12323_939_1_11_16_0_23193_0 <- 12283_940_1_11_16_0_23147_0
12621_928_1_11_16_0_23153_0 <- 12504_928_1_11_16_0_23156_0 , 12512_928_1_11_16_0_23168_0
12504_928_1_11_16_0_23156_0 <- 12621_929_1_11_16_0_23162_0
12512_928_1_11_16_0_23168_0 <- 12621_929_1_11_16_0_23162_0
12621_929_1_11_16_0_23162_0 <- 12504_929_1_11_16_0_23166_0 , 12512_929_1_11_16_0_23176_0
12504_929_1_11_16_0_23166_0 <- 12621_932_1_11_16_0_23183_0
12512_929_1_11_16_0_23176_0 <- 12621_932_1_11_16_0_23183_0
12621_932_1_11_16_0_23183_0 <- 12504_932_1_11_16_0_23188_0 , 12512_932_1_11_16_0_23198_0
12504_932_1_11_16_0_23188_0 <- 12323_939_1_11_16_0_23193_0
12512_932_1_11_16_0_23198_0 <- 12323_939_1_11_16_0_23193_0
12276_940_1_11_16_0_23137_0 <- 9786_964_1_11_16_0_23208_0
12283_940_1_11_16_0_23147_0 <- 9786_964_1_11_16_0_23208_0
9786_964_1_11_16_0_23208_0 <- 9675_961_1_11_16_0_23213_0 , 9698_961_1_11_16_0_23214_0
9726_962_1_0_16_0_20351_0 <- 8178_971_1_11_16_0_23255_0 , 9712_961_1_49_16_0_24569_0
9636_962_1_49_16_0_24572_0 <- 8178_971_1_11_16_0_23255_0
8178_971_1_11_16_0_23255_0 <- 8168_971_1_11_16_0_23258_0 , 8161_971_1_11_16_0_23259_0
8168_971_1_11_16_0_23258_0 <- 6596_984_1_11_16_0_23276_0
8161_971_1_11_16_0_23259_0 <- 6596_984_1_11_16_0_23276_0
6596_984_1_11_16_0_23276_0 <- 6557_984_1_11_16_0_23284_0
6592_984_1_3_16_0_21267_0 <- 6557_984_1_11_16_0_23284_0
2144_1003_0_13_17_0_23483_0 <- 1714_1003_0_13_17_0_23484_0 , 6999_986_0_13_17_0_23485_0
6999_986_0_13_17_0_23485_0 <- 6965_988_0_13_17_0_23488_0 , 7213_982_0_13_17_0_23493_0
1714_1003_0_13_17_0_23484_0 <- 1682_1003_0_13_17_0_23489_0
1718_1003_0_13_17_0_23566_0 <- 1682_1003_0_13_17_0_23489_0
7213_982_0_13_17_0_23493_0 <- 7200_982_0_13_17_0_23495_0 , 7191_982_0_13_17_0_23496_0
7191_982_0_13_17_0_23496_0 <- 7191_982_0_13_17_0_23499_0
7200_982_0_13_17_0_23495_0 <- 7191_982_0_13_17_0_23499_0
7191_982_0_13_17_0_23499_0 <- 7178_982_0_13_17_0_23501_0 , 7169_982_0_13_17_0_23502_0
7169_982_0_13_17_0_23502_0 <- 7169_982_0_13_17_0_23504_0
7178_982_0_13_17_0_23501_0 <- 7169_982_0_13_17_0_23504_0
7169_982_0_13_17_0_23504_0 <- 7156_982_0_13_17_0_23507_0 , 7146_982_0_13_17_0_23508_0
7146_982_0_13_17_0_23508_0 <- 7146_982_0_13_17_0_23510_0
7156_982_0_13_17_0_23507_0 <- 7146_982_0_13_17_0_23510_0
6985_986_0_13_17_0_23538_0 <- 4888_990_0_13_17_0_23511_0
6965_988_0_13_17_0_23488_0 <- 4888_990_0_13_17_0_23511_0
7146_982_0_13_17_0_23510_0 <- 7133_982_0_13_17_0_23512_0 , 7122_982_0_13_17_0_23513_0
4888_990_0_13_17_0_23511_0 <- 4869_990_0_13_17_0_23514_0 , 4821_990_0_13_17_0_23515_0
7122_982_0_13_17_0_23513_0 <- 7122_982_0_13_17_0_23516_0
7133_982_0_13_17_0_23512_0 <- 7122_982_0_13_17_0_23516_0
7122_982_0_13_17_0_23516_0 <- 7109_982_0_13_17_0_23518_0 , 7096_982_0_13_17_0_23519_0
7096_982_0_13_17_0_23519_0 <- 7096_982_0_13_17_0_23521_0
7109_982_0_13_17_0_23518_0 <- 7096_982_0_13_17_0_23521_0
7096_982_0_13_17_0_23521_0 <- 7083_982_0_13_17_0_23523_0 , 7066_982_0_13_17_0_23524_0
4869_990_0_13_17_0_23514_0 <- 1976_999_0_13_17_0_23525_0
4821_990_0_13_17_0_23515_0 <- 1976_999_0_13_17_0_23525_0
7066_982_0_13_17_0_23524_0 <- 7066_982_0_13_17_0_23526_0
7083_982_0_13_17_0_23523_0 <- 7066_982_0_13_17_0_23526_0
1976_999_0_13_17_0_23525_0 <- 1886_999_0_13_17_0_23527_0 , 4657_994_1_13_17_0_23528_0
1886_999_0_13_17_0_23527_0 <- 4657_994_1_13_17_0_23528_0
7066_982_0_13_17_0_23526_0 <- 7053_982_0_13_17_0_23529_0 , 7026_983_0_13_17_0_23530_0
4657_994_1_13_17_0_23528_0 <- 3442_994_1_13_17_0_23531_0 , 3524_990_1_13_17_0_23532_0 , 4233_990_1_13_17_0_23535_0 , 4344_991_1_13_17_0_23536_0 , 3659_990_1_13_17_0_23547_0 , 3873_990_1_13_17_0_23555_0 , 4351_991_1_13_17_0_23556_0
7026_983_0_13_17_0_23530_0 <- 6985_986_0_13_17_0_23538_0
7053_982_0_13_17_0_23529_0 <- 6985_986_0_13_17_0_23538_0
4351_991_1_13_17_0_23556_0 <- 4338_991_1_13_17_0_23543_0
4344_991_1_13_17_0_23536_0 <- 4338_991_1_13_17_0_23543_0
4338_991_1_13_17_0_23543_0 <- 3446_994_1_13_17_0_23552_0 , 4241_990_1_53_17_0_24577_0
3488_991_1_53_17_0_24593_0 <- 3446_994_1_13_17_0_23552_0
3442_994_1_13_17_0_23531_0 <- 1718_1003_0_13_17_0_23566_0
3446_994_1_13_17_0_23552_0 <- 1718_1003_0_13_17_0_23566_0
2144_1003_0_15_18_0_23567_0 <- 1714_1003_0_15_18_0_23568_0 , 6999_986_0_15_18_0_23569_0
6999_986_0_15_18_0_23569_0 <- 6965_988_0_15_18_0_23572_0 , 7213_982_0_15_18_0_23577_0
1714_1003_0_15_18_0_23568_0 <- 1682_1003_0_15_18_0_23573_0
1718_1003_0_15_18_0_23650_0 <- 1682_1003_0_15_18_0_23573_0
7213_982_0_15_18_0_23577_0 <- 7200_982_0_15_18_0_23579_0 , 7191_982_0_15_18_0_23580_0
7191_982_0_15_18_0_23580_0 <- 7191_982_0_15_18_0_23583_0
7200_982_0_15_18_0_23579_0 <- 7191_982_0_15_18_0_23583_0
7191_982_0_15_18_0_23583_0 <- 7178_982_0_15_18_0_23585_0 , 7169_982_0_15_18_0_23586_0
7169_982_0_15_18_0_23586_0 <- 7169_982_0_15_18_0_23588_0
7178_982_0_15_18_0_23585_0 <- 7169_982_0_15_18_0_23588_0
7169_982_0_15_18_0_23588_0 <- 7156_982_0_15_18_0_23591_0 , 7146_982_0_15_18_0_23592_0
7146_982_0_15_18_0_23592_0 <- 7146_982_0_15_18_0_23594_0
7156_982_0_15_18_0_23591_0 <- 7146_982_0_15_18_0_23594_0
6985_986_0_15_18_0_23622_0 <- 4888_990_0_15_18_0_23595_0
6965_988_0_15_18_0_23572_0 <- 4888_990_0_15_18_0_23595_0
7146_982_0_15_18_0_23594_0 <- 7133_982_0_15_18_0_23596_0 , 7122_982_0_15_18_0_23597_0
4888_990_0_15_18_0_23595_0 <- 4869_990_0_15_18_0_23598_0 , 4821_990_0_15_18_0_23599_0
7122_982_0_15_18_0_23597_0 <- 7122_982_0_15_18_0_23600_0
7133_982_0_15_18_0_23596_0 <- 7122_982_0_15_18_0_23600_0
7122_982_0_15_18_0_23600_0 <- 7109_982_0_15_18_0_23602_0 , 7096_982_0_15_18_0_23603_0
7096_982_0_15_18_0_23603_0 <- 7096_982_0_15_18_0_23605_0
7109_982_0_15_18_0_23602_0 <- 7096_982_0_15_18_0_23605_0
7096_982_0_15_18_0_23605_0 <- 7083_982_0_15_18_0_23607_0 , 7066_982_0_15_18_0_23608_0
4869_990_0_15_18_0_23598_0 <- 1976_999_0_15_18_0_23609_0
4821_990_0_15_18_0_23599_0 <- 1976_999_0_15_18_0_23609_0
7066_982_0_15_18_0_23608_0 <- 7066_982_0_15_18_0_23610_0
7083_982_0_15_18_0_23607_0 <- 7066_982_0_15_18_0_23610_0
1976_999_0_15_18_0_23609_0 <- 1886_999_0_15_18_0_23611_0 , 4657_994_1_15_18_0_23612_0
1886_999_0_15_18_0_23611_0 <- 4657_994_1_15_18_0_23612_0
7066_982_0_15_18_0_23610_0 <- 7053_982_0_15_18_0_23613_0 , 7026_983_0_15_18_0_23614_0
4657_994_1_15_18_0_23612_0 <- 3442_994_1_15_18_0_23615_0 , 3524_990_1_15_18_0_23616_0 , 4233_990_1_15_18_0_23619_0 , 4344_991_1_15_18_0_23620_0 , 3659_990_1_15_18_0_23631_0 , 3873_990_1_15_18_0_23639_0 , 4351_991_1_15_18_0_23640_0
7026_983_0_15_18_0_23614_0 <- 6985_986_0_15_18_0_23622_0
7053_982_0_15_18_0_23613_0 <- 6985_986_0_15_18_0_23622_0
4351_991_1_15_18_0_23640_0 <- 4338_991_1_15_18_0_23627_0
4344_991_1_15_18_0_23620_0 <- 4338_991_1_15_18_0_23627_0
4338_991_1_15_18_0_23627_0 <- 3446_994_1_15_18_0_23636_0 , 4241_990_1_55_18_0_24594_0
3488_991_1_55_18_0_24610_0 <- 3446_994_1_15_18_0_23636_0
3442_994_1_15_18_0_23615_0 <- 1718_1003_0_15_18_0_23650_0
3446_994_1_15_18_0_23636_0 <- 1718_1003_0_15_18_0_23650_0
2144_1005_0_17_19_0_23651_0 <- 1714_1005_0_17_19_0_23652_0 , 6999_988_0_17_19_0_23653_0
6999_988_0_17_19_0_23653_0 <- 6965_990_0_17_19_0_23656_0 , 7213_984_0_17_19_0_23661_0
1714_1005_0_17_19_0_23652_0 <- 1682_1005_0_17_19_0_23657_0
1718_1005_0_17_19_0_23734_0 <- 1682_1005_0_17_19_0_23657_0
7213_984_0_17_19_0_23661_0 <- 7200_984_0_17_19_0_23663_0 , 7191_984_0_17_19_0_23664_0
7191_984_0_17_19_0_23664_0 <- 7191_984_0_17_19_0_23667_0
7200_984_0_17_19_0_23663_0 <- 7191_984_0_17_19_0_23667_0
7191_984_0_17_19_0_23667_0 <- 7178_984_0_17_19_0_23669_0 , 7169_984_0_17_19_0_23670_0
7169_984_0_17_19_0_23670_0 <- 7169_984_0_17_19_0_23672_0
7178_984_0_17_19_0_23669_0 <- 7169_984_0_17_19_0_23672_0
7169_984_0_17_19_0_23672_0 <- 7156_984_0_17_19_0_23675_0 , 7146_984_0_17_19_0_23676_0
7146_984_0_17_19_0_23676_0 <- 7146_984_0_17_19_0_23678_0
7156_984_0_17_19_0_23675_0 <- 7146_984_0_17_19_0_23678_0
6985_988_0_17_19_0_23706_0 <- 4888_992_0_17_19_0_23679_0
6965_990_0_17_19_0_23656_0 <- 4888_992_0_17_19_0_23679_0
7146_984_0_17_19_0_23678_0 <- 7133_984_0_17_19_0_23680_0 , 7122_984_0_17_19_0_23681_0
4888_992_0_17_19_0_23679_0 <- 4869_992_0_17_19_0_23682_0 , 4821_992_0_17_19_0_23683_0
7122_984_0_17_19_0_23681_0 <- 7122_984_0_17_19_0_23684_0
7133_984_0_17_19_0_23680_0 <- 7122_984_0_17_19_0_23684_0
7122_984_0_17_19_0_23684_0 <- 7109_984_0_17_19_0_23686_0 , 7096_984_0_17_19_0_23687_0
7096_984_0_17_19_0_23687_0 <- 7096_984_0_17_19_0_23689_0
7109_984_0_17_19_0_23686_0 <- 7096_984_0_17_19_0_23689_0
7096_984_0_17_19_0_23689_0 <- 7083_984_0_17_19_0_23691_0 , 7066_984_0_17_19_0_23692_0
4869_992_0_17_19_0_23682_0 <- 1976_1001_0_17_19_0_23693_0
4821_992_0_17_19_0_23683_0 <- 1976_1001_0_17_19_0_23693_0
7066_984_0_17_19_0_23692_0 <- 7066_984_0_17_19_0_23694_0
7083_984_0_17_19_0_23691_0 <- 7066_984_0_17_19_0_23694_0
1976_1001_0_17_19_0_23693_0 <- 1886_1001_0_17_19_0_23695_0 , 4657_996_0_17_19_0_23696_0
1886_1001_0_17_19_0_23695_0 <- 4657_996_0_17_19_0_23696_0
7066_984_0_17_19_0_23694_0 <- 7053_984_0_17_19_0_23697_0 , 7026_985_0_17_19_0_23698_0
4657_996_0_17_19_0_23696_0 <- 3442_996_0_17_19_0_23699_0 , 3524_992_0_17_19_0_23700_0 , 4233_992_0_17_19_0_23703_0 , 4344_993_0_17_19_0_23704_0 , 3659_992_0_17_19_0_23715_0 , 3873_992_0_17_19_0_23723_0 , 4351_993_0_17_19_0_23724_0
7026_985_0_17_19_0_23698_0 <- 6985_988_0_17_19_0_23706_0
7053_984_0_17_19_0_23697_0 <- 6985_988_0_17_19_0_23706_0
4351_993_0_17_19_0_23724_0 <- 4338_993_0_17_19_0_23711_0
4344_993_0_17_19_0_23704_0 <- 4338_993_0_17_19_0_23711_0
4338_993_0_17_19_0_23711_0 <- 3446_996_0_17_19_0_23720_0 , 4241_992_0_57_19_0_24611_0
3488_993_0_57_19_0_24627_0 <- 3446_996_0_17_19_0_23720_0
3442_996_0_17_19_0_23699_0 <- 1718_1005_0_17_19_0_23734_0
3446_996_0_17_19_0_23720_0 <- 1718_1005_0_17_19_0_23734_0
2144_1005_0_19_20_0_23735_0 <- 1714_1005_0_19_20_0_23736_0 , 6999_988_0_19_20_0_23737_0
6999_988_0_19_20_0_23737_0 <- 6965_990_0_19_20_0_23740_0 , 7213_984_0_19_20_0_23745_0
1714_1005_0_19_20_0_23736_0 <- 1682_1005_0_19_20_0_23741_0
1718_1005_0_19_20_0_23818_0 <- 1682_1005_0_19_20_0_23741_0
7213_984_0_19_20_0_23745_0 <- 7200_984_0_19_20_0_23747_0 , 7191_984_0_19_20_0_23748_0
7191_984_0_19_20_0_23748_0 <- 7191_984_0_19_20_0_23751_0
7200_984_0_19_20_0_23747_0 <- 7191_984_0_19_20_0_23751_0
7191_984_0_19_20_0_23751_0 <- 7178_984_0_19_20_0_23753_0 , 7169_984_0_19_20_0_23754_0
7169_984_0_19_20_0_23754_0 <- 7169_984_0_19_20_0_23756_0
7178_984_0_19_20_0_23753_0 <- 7169_984_0_19_20_0_23756_0
7169_984_0_19_20_0_23756_0 <- 7156_984_0_19_20_0_23759_0 , 7146_984_0_19_20_0_23760_0
7146_984_0_19_20_0_23760_0 <- 7146_984_0_19_20_0_23762_0
7156_984_0_19_20_0_23759_0 <- 7146_984_0_19_20_0_23762_0
6985_988_0_19_20_0_23790_0 <- 4888_992_0_19_20_0_23763_0
6965_990_0_19_20_0_23740_0 <- 4888_992_0_19_20_0_23763_0
7146_984_0_19_20_0_23762_0 <- 7133_984_0_19_20_0_23764_0 , 7122_984_0_19_20_0_23765_0
4888_992_0_19_20_0_23763_0 <- 4869_992_0_19_20_0_23766_0 , 4821_992_0_19_20_0_23767_0
7122_984_0_19_20_0_23765_0 <- 7122_984_0_19_20_0_23768_0
7133_984_0_19_20_0_23764_0 <- 7122_984_0_19_20_0_23768_0
7122_984_0_19_20_0_23768_0 <- 7109_984_0_19_20_0_23770_0 , 7096_984_0_19_20_0_23771_0
7096_984_0_19_20_0_23771_0 <- 7096_984_0_19_20_0_23773_0
7109_984_0_19_20_0_23770_0 <- 7096_984_0_19_20_0_23773_0
7096_984_0_19_20_0_23773_0 <- 7083_984_0_19_20_0_23775_0 , 7066_984_0_19_20_0_23776_0
4869_992_0_19_20_0_23766_0 <- 1976_1001_0_19_20_0_23777_0
4821_992_0_19_20_0_23767_0 <- 1976_1001_0_19_20_0_23777_0
7066_984_0_19_20_0_23776_0 <- 7066_984_0_19_20_0_23778_0
7083_984_0_19_20_0_23775_0 <- 7066_984_0_19_20_0_23778_0
1976_1001_0_19_20_0_23777_0 <- 1886_1001_0_19_20_0_23779_0 , 4657_996_0_19_20_0_23780_0
1886_1001_0_19_20_0_23779_0 <- 4657_996_0_19_20_0_23780_0
7066_984_0_19_20_0_23778_0 <- 7053_984_0_19_20_0_23781_0 , 7026_985_0_19_20_0_23782_0
4657_996_0_19_20_0_23780_0 <- 3442_996_0_19_20_0_23783_0 , 3524_992_0_19_20_0_23784_0 , 4233_992_0_19_20_0_23787_0 , 4344_993_0_19_20_0_23788_0 , 3659_992_0_19_20_0_23799_0 , 3873_992_0_19_20_0_23807_0 , 4351_993_0_19_20_0_23808_0
7026_985_0_19_20_0_23782_0 <- 6985_988_0_19_20_0_23790_0
7053_984_0_19_20_0_23781_0 <- 6985_988_0_19_20_0_23790_0
4351_993_0_19_20_0_23808_0 <- 4338_993_0_19_20_0_23795_0
4344_993_0_19_20_0_23788_0 <- 4338_993_0_19_20_0_23795_0
4338_993_0_19_20_0_23795_0 <- 3446_996_0_19_20_0_23804_0 , 4241_992_0_59_20_0_24628_0
3488_993_0_59_20_0_24644_0 <- 3446_996_0_19_20_0_23804_0
3442_996_0_19_20_0_23783_0 <- 1718_1005_0_19_20_0_23818_0
3446_996_0_19_20_0_23804_0 <- 1718_1005_0_19_20_0_23818_0
5529_984_0_21_17_0_23825_0 <- 5500_984_0_21_17_0_23826_0 , 7213_980_1_21_17_0_23830_0
7213_980_1_21_17_0_23830_0 <- 7200_980_1_21_17_0_23832_0 , 7191_980_1_21_17_0_23833_0
7191_980_1_21_17_0_23833_0 <- 7191_980_1_21_17_0_23835_0
7200_980_1_21_17_0_23832_0 <- 7191_980_1_21_17_0_23835_0
7191_980_1_21_17_0_23835_0 <- 7178_980_1_21_17_0_23838_0 , 7169_980_1_21_17_0_23839_0
7169_980_1_21_17_0_23839_0 <- 7169_980_1_21_17_0_23841_0
7178_980_1_21_17_0_23838_0 <- 7169_980_1_21_17_0_23841_0
5500_984_0_21_17_0_23826_0 <- 7840_973_0_21_17_0_23842_0
5508_984_0_21_17_0_23894_0 <- 7840_973_0_21_17_0_23842_0
7169_980_1_21_17_0_23841_0 <- 7156_980_1_21_17_0_23843_0 , 7146_980_1_21_17_0_23844_0
7840_973_0_21_17_0_23842_0 <- 7755_973_0_21_17_0_23845_0 , 8383_966_1_21_17_0_23874_0
7146_980_1_21_17_0_23844_0 <- 7146_980_1_21_17_0_23846_0
7156_980_1_21_17_0_23843_0 <- 7146_980_1_21_17_0_23846_0
7755_973_0_21_17_0_23845_0 <- 7676_969_0_21_17_0_23847_0
7763_973_0_21_17_0_23906_0 <- 7676_969_0_21_17_0_23847_0
7146_980_1_21_17_0_23846_0 <- 7133_980_1_21_17_0_23849_0 , 7122_980_1_21_17_0_23850_0
7676_969_0_21_17_0_23847_0 <- 7674_968_0_21_17_0_23851_0 , 7391_966_0_21_17_0_23852_0
7122_980_1_21_17_0_23850_0 <- 7122_980_1_21_17_0_23854_0
7133_980_1_21_17_0_23849_0 <- 7122_980_1_21_17_0_23854_0
7674_968_0_21_17_0_23851_0 <- 8224_960_0_21_17_0_23856_0 , 7482_968_0_21_17_0_23895_0
7482_968_0_21_17_0_23895_0 <- 8224_960_0_21_17_0_23856_0
7407_969_0_21_17_0_23870_0 <- 5771_983_0_21_17_0_23857_0
7391_966_0_21_17_0_23852_0 <- 5771_983_0_21_17_0_23857_0
7122_980_1_21_17_0_23854_0 <- 7109_980_1_21_17_0_23860_0 , 7096_980_1_21_17_0_23861_0
8224_960_0_21_17_0_23856_0 <- 8064_960_0_21_17_0_23863_0 , 8080_960_0_21_17_0_23896_0
5771_983_0_21_17_0_23857_0 <- 5588_981_0_21_17_0_23865_0 , 5613_981_0_21_17_0_23871_0 , 5663_981_0_21_17_0_23880_0
7096_980_1_21_17_0_23861_0 <- 7096_980_1_21_17_0_23867_0
7109_980_1_21_17_0_23860_0 <- 7096_980_1_21_17_0_23867_0
8064_960_0_21_17_0_23863_0 <- 7407_969_0_21_17_0_23870_0
8080_960_0_21_17_0_23896_0 <- 7407_969_0_21_17_0_23870_0
7096_980_1_21_17_0_23867_0 <- 7083_980_1_21_17_0_23875_0 , 7066_980_1_21_17_0_23876_0
5663_981_0_21_17_0_23880_0 <- 5604_981_0_21_17_0_23879_0
5613_981_0_21_17_0_23871_0 <- 5604_981_0_21_17_0_23879_0
8383_966_1_21_17_0_23874_0 <- 8254_966_1_21_17_0_23881_0 , 8262_966_1_21_17_0_23903_0
7066_980_1_21_17_0_23876_0 <- 7066_980_1_21_17_0_23883_0
7083_980_1_21_17_0_23875_0 <- 7066_980_1_21_17_0_23883_0
7066_980_1_21_17_0_23883_0 <- 7053_980_1_21_17_0_23886_0 , 7026_981_1_21_17_0_23887_0
7026_981_1_21_17_0_23887_0 <- 5508_984_0_21_17_0_23894_0
7053_980_1_21_17_0_23886_0 <- 5508_984_0_21_17_0_23894_0
5604_981_0_21_17_0_23879_0 <- 2287_988_0_21_17_0_23897_0
5588_981_0_21_17_0_23865_0 <- 2287_988_0_21_17_0_23897_0
8254_966_1_21_17_0_23881_0 <- 7763_973_0_21_17_0_23906_0
8262_966_1_21_17_0_23903_0 <- 7763_973_0_21_17_0_23906_0
5529_984_0_23_18_0_23913_0 <- 5500_984_0_23_18_0_23914_0 , 7213_980_1_23_18_0_23918_0
7213_980_1_23_18_0_23918_0 <- 7200_980_1_23_18_0_23920_0 , 7191_980_1_23_18_0_23921_0
7191_980_1_23_18_0_23921_0 <- 7191_980_1_23_18_0_23923_0
7200_980_1_23_18_0_23920_0 <- 7191_980_1_23_18_0_23923_0
7191_980_1_23_18_0_23923_0 <- 7178_980_1_23_18_0_23926_0 , 7169_980_1_23_18_0_23927_0
7169_980_1_23_18_0_23927_0 <- 7169_980_1_23_18_0_23929_0
7178_980_1_23_18_0_23926_0 <- 7169_980_1_23_18_0_23929_0
5500_984_0_23_18_0_23914_0 <- 7840_973_0_23_18_0_23930_0
5508_984_0_23_18_0_23982_0 <- 7840_973_0_23_18_0_23930_0
7169_980_1_23_18_0_23929_0 <- 7156_980_1_23_18_0_23931_0 , 7146_980_1_23_18_0_23932_0
7840_973_0_23_18_0_23930_0 <- 7755_973_0_23_18_0_23933_0 , 8383_966_1_23_18_0_23962_0
7146_980_1_23_18_0_23932_0 <- 7146_980_1_23_18_0_23934_0
7156_980_1_23_18_0_23931_0 <- 7146_980_1_23_18_0_23934_0
7755_973_0_23_18_0_23933_0 <- 7676_969_0_23_18_0_23935_0
7763_973_0_23_18_0_23994_0 <- 7676_969_0_23_18_0_23935_0
7146_980_1_23_18_0_23934_0 <- 7133_980_1_23_18_0_23937_0 , 7122_980_1_23_18_0_23938_0
7676_969_0_23_18_0_23935_0 <- 7674_968_0_23_18_0_23939_0 , 7391_966_0_23_18_0_23940_0
7122_980_1_23_18_0_23938_0 <- 7122_980_1_23_18_0_23942_0
7133_980_1_23_18_0_23937_0 <- 7122_980_1_23_18_0_23942_0
7674_968_0_23_18_0_23939_0 <- 8224_960_0_23_18_0_23944_0 , 7482_968_0_23_18_0_23983_0
7482_968_0_23_18_0_23983_0 <- 8224_960_0_23_18_0_23944_0
7407_969_0_23_18_0_23958_0 <- 5771_983_0_23_18_0_23945_0
7391_966_0_23_18_0_23940_0 <- 5771_983_0_23_18_0_23945_0
7122_980_1_23_18_0_23942_0 <- 7109_980_1_23_18_0_23948_0 , 7096_980_1_23_18_0_23949_0
8224_960_0_23_18_0_23944_0 <- 8064_960_0_23_18_0_23951_0 , 8080_960_0_23_18_0_23984_0
5771_983_0_23_18_0_23945_0 <- 5588_981_0_23_18_0_23953_0 , 5613_981_0_23_18_0_23959_0 , 5663_981_0_23_18_0_23968_0
7096_980_1_23_18_0_23949_0 <- 7096_980_1_23_18_0_23955_0
7109_980_1_23_18_0_23948_0 <- 7096_980_1_23_18_0_23955_0
8064_960_0_23_18_0_23951_0 <- 7407_969_0_23_18_0_23958_0
8080_960_0_23_18_0_23984_0 <- 7407_969_0_23_18_0_23958_0
7096_980_1_23_18_0_23955_0 <- 7083_980_1_23_18_0_23963_0 , 7066_980_1_23_18_0_23964_0
5663_981_0_23_18_0_23968_0 <- 5604_981_0_23_18_0_23967_0
5613_981_0_23_18_0_23959_0 <- 5604_981_0_23_18_0_23967_0
8383_966_1_23_18_0_23962_0 <- 8254_966_1_23_18_0_23969_0 , 8262_966_1_23_18_0_23991_0
7066_980_1_23_18_0_23964_0 <- 7066_980_1_23_18_0_23971_0
7083_980_1_23_18_0_23963_0 <- 7066_980_1_23_18_0_23971_0
7066_980_1_23_18_0_23971_0 <- 7053_980_1_23_18_0_23974_0 , 7026_981_1_23_18_0_23975_0
7026_981_1_23_18_0_23975_0 <- 5508_984_0_23_18_0_23982_0
7053_980_1_23_18_0_23974_0 <- 5508_984_0_23_18_0_23982_0
5604_981_0_23_18_0_23967_0 <- 2287_988_0_23_18_0_23985_0
5588_981_0_23_18_0_23953_0 <- 2287_988_0_23_18_0_23985_0
8254_966_1_23_18_0_23969_0 <- 7763_973_0_23_18_0_23994_0
8262_966_1_23_18_0_23991_0 <- 7763_973_0_23_18_0_23994_0
5529_986_0_25_19_0_24001_0 <- 5500_986_0_25_19_0_24002_0 , 7213_982_2_25_19_0_24006_0
7213_982_2_25_19_0_24006_0 <- 7200_982_2_25_19_0_24008_0 , 7191_982_2_25_19_0_24009_0
7191_982_2_25_19_0_24009_0 <- 7191_982_2_25_19_0_24011_0
7200_982_2_25_19_0_24008_0 <- 7191_982_2_25_19_0_24011_0
7191_982_2_25_19_0_24011_0 <- 7178_982_2_25_19_0_24014_0 , 7169_982_2_25_19_0_24015_0
7169_982_2_25_19_0_24015_0 <- 7169_982_2_25_19_0_24017_0
7178_982_2_25_19_0_24014_0 <- 7169_982_2_25_19_0_24017_0
5500_986_0_25_19_0_24002_0 <- 7840_975_0_25_19_0_24018_0
5508_986_0_25_19_0_24070_0 <- 7840_975_0_25_19_0_24018_0
7169_982_2_25_19_0_24017_0 <- 7156_982_2_25_19_0_24019_0 , 7146_982_2_25_19_0_24020_0
7840_975_0_25_19_0_24018_0 <- 7755_975_0_25_19_0_24021_0 , 8383_968_0_25_19_0_24050_0
7146_982_2_25_19_0_24020_0 <- 7146_982_2_25_19_0_24022_0
7156_982_2_25_19_0_24019_0 <- 7146_982_2_25_19_0_24022_0
7755_975_0_25_19_0_24021_0 <- 7676_971_0_25_19_0_24023_0
7763_975_0_25_19_0_24082_0 <- 7676_971_0_25_19_0_24023_0
7146_982_2_25_19_0_24022_0 <- 7133_982_2_25_19_0_24025_0 , 7122_982_2_25_19_0_24026_0
7676_971_0_25_19_0_24023_0 <- 7674_970_0_25_19_0_24027_0 , 7391_968_0_25_19_0_24028_0
7122_982_2_25_19_0_24026_0 <- 7122_982_2_25_19_0_24030_0
7133_982_2_25_19_0_24025_0 <- 7122_982_2_25_19_0_24030_0
7674_970_0_25_19_0_24027_0 <- 8224_962_0_25_19_0_24032_0 , 7482_970_0_25_19_0_24071_0
7482_970_0_25_19_0_24071_0 <- 8224_962_0_25_19_0_24032_0
7407_971_0_25_19_0_24046_0 <- 5771_985_0_25_19_0_24033_0
7391_968_0_25_19_0_24028_0 <- 5771_985_0_25_19_0_24033_0
7122_982_2_25_19_0_24030_0 <- 7109_982_2_25_19_0_24036_0 , 7096_982_2_25_19_0_24037_0
8224_962_0_25_19_0_24032_0 <- 8064_962_0_25_19_0_24039_0 , 8080_962_0_25_19_0_24072_0
5771_985_0_25_19_0_24033_0 <- 5588_983_0_25_19_0_24041_0 , 5613_983_0_25_19_0_24047_0 , 5663_983_0_25_19_0_24056_0
7096_982_2_25_19_0_24037_0 <- 7096_982_2_25_19_0_24043_0
7109_982_2_25_19_0_24036_0 <- 7096_982_2_25_19_0_24043_0
8064_962_0_25_19_0_24039_0 <- 7407_971_0_25_19_0_24046_0
8080_962_0_25_19_0_24072_0 <- 7407_971_0_25_19_0_24046_0
7096_982_2_25_19_0_24043_0 <- 7083_982_2_25_19_0_24051_0 , 7066_982_2_25_19_0_24052_0
5663_983_0_25_19_0_24056_0 <- 5604_983_0_25_19_0_24055_0
5613_983_0_25_19_0_24047_0 <- 5604_983_0_25_19_0_24055_0
8383_968_0_25_19_0_24050_0 <- 8254_968_0_25_19_0_24057_0 , 8262_968_0_25_19_0_24079_0
7066_982_2_25_19_0_24052_0 <- 7066_982_2_25_19_0_24059_0
7083_982_2_25_19_0_24051_0 <- 7066_982_2_25_19_0_24059_0
7066_982_2_25_19_0_24059_0 <- 7053_982_2_25_19_0_24062_0 , 7026_983_2_25_19_0_24063_0
7026_983_2_25_19_0_24063_0 <- 5508_986_0_25_19_0_24070_0
7053_982_2_25_19_0_24062_0 <- 5508_986_0_25_19_0_24070_0
5604_983_0_25_19_0_24055_0 <- 2287_990_0_25_19_0_24073_0
5588_983_0_25_19_0_24041_0 <- 2287_990_0_25_19_0_24073_0
8254_968_0_25_19_0_24057_0 <- 7763_975_0_25_19_0_24082_0
8262_968_0_25_19_0_24079_0 <- 7763_975_0_25_19_0_24082_0
5529_986_0_27_20_0_24089_0 <- 5500_986_0_27_20_0_24090_0 , 7213_982_2_27_20_0_24094_0
7213_982_2_27_20_0_24094_0 <- 7200_982_2_27_20_0_24096_0 , 7191_982_2_27_20_0_24097_0
7191_982_2_27_20_0_24097_0 <- 7191_982_2_27_20_0_24099_0
7200_982_2_27_20_0_24096_0 <- 7191_982_2_27_20_0_24099_0
7191_982_2_27_20_0_24099_0 <- 7178_982_2_27_20_0_24102_0 , 7169_982_2_27_20_0_24103_0
7169_982_2_27_20_0_24103_0 <- 7169_982_2_27_20_0_24105_0
7178_982_2_27_20_0_24102_0 <- 7169_982_2_27_20_0_24105_0
5500_986_0_27_20_0_24090_0 <- 7840_975_0_27_20_0_24106_0
5508_986_0_27_20_0_24158_0 <- 7840_975_0_27_20_0_24106_0
7169_982_2_27_20_0_24105_0 <- 7156_982_2_27_20_0_24107_0 , 7146_982_2_27_20_0_24108_0
7840_975_0_27_20_0_24106_0 <- 7755_975_0_27_20_0_24109_0 , 8383_968_0_27_20_0_24138_0
7146_982_2_27_20_0_24108_0 <- 7146_982_2_27_20_0_24110_0
7156_982_2_27_20_0_24107_0 <- 7146_982_2_27_20_0_24110_0
7755_975_0_27_20_0_24109_0 <- 7676_971_0_27_20_0_24111_0
7763_975_0_27_20_0_24170_0 <- 7676_971_0_27_20_0_24111_0
7146_982_2_27_20_0_24110_0 <- 7133_982_2_27_20_0_24113_0 , 7122_982_2_27_20_0_24114_0
7676_971_0_27_20_0_24111_0 <- 7674_970_0_27_20_0_24115_0 , 7391_968_0_27_20_0_24116_0
7122_982_2_27_20_0_24114_0 <- 7122_982_2_27_20_0_24118_0
7133_982_2_27_20_0_24113_0 <- 7122_982_2_27_20_0_24118_0
7674_970_0_27_20_0_24115_0 <- 8224_962_0_27_20_0_24120_0 , 7482_970_0_27_20_0_24159_0
7482_970_0_27_20_0_24159_0 <- 8224_962_0_27_20_0_24120_0
7407_971_0_27_20_0_24134_0 <- 5771_985_0_27_20_0_24121_0
7391_968_0_27_20_0_24116_0 <- 5771_985_0_27_20_0_24121_0
7122_982_2_27_20_0_24118_0 <- 7109_982_2_27_20_0_24124_0 , 7096_982_2_27_20_0_24125_0
8224_962_0_27_20_0_24120_0 <- 8064_962_0_27_20_0_24127_0 , 8080_962_0_27_20_0_24160_0
5771_985_0_27_20_0_24121_0 <- 5588_983_0_27_20_0_24129_0 , 5613_983_0_27_20_0_24135_0 , 5663_983_0_27_20_0_24144_0
7096_982_2_27_20_0_24125_0 <- 7096_982_2_27_20_0_24131_0
7109_982_2_27_20_0_24124_0 <- 7096_982_2_27_20_0_24131_0
8064_962_0_27_20_0_24127_0 <- 7407_971_0_27_20_0_24134_0
8080_962_0_27_20_0_24160_0 <- 7407_971_0_27_20_0_24134_0
7096_982_2_27_20_0_24131_0 <- 7083_982_2_27_20_0_24139_0 , 7066_982_2_27_20_0_24140_0
5663_983_0_27_20_0_24144_0 <- 5604_983_0_27_20_0_24143_0
5613_983_0_27_20_0_24135_0 <- 5604_983_0_27_20_0_24143_0
8383_968_0_27_20_0_24138_0 <- 8254_968_0_27_20_0_24145_0 , 8262_968_0_27_20_0_24167_0
7066_982_2_27_20_0_24140_0 <- 7066_982_2_27_20_0_24147_0
7083_982_2_27_20_0_24139_0 <- 7066_982_2_27_20_0_24147_0
7066_982_2_27_20_0_24147_0 <- 7053_982_2_27_20_0_24150_0 , 7026_983_2_27_20_0_24151_0
7026_983_2_27_20_0_24151_0 <- 5508_986_0_27_20_0_24158_0
7053_982_2_27_20_0_24150_0 <- 5508_986_0_27_20_0_24158_0
5604_983_0_27_20_0_24143_0 <- 2287_990_0_27_20_0_24161_0
5588_983_0_27_20_0_24129_0 <- 2287_990_0_27_20_0_24161_0
8254_968_0_27_20_0_24145_0 <- 7763_975_0_27_20_0_24170_0
8262_968_0_27_20_0_24167_0 <- 7763_975_0_27_20_0_24170_0
5529_981_0_29_17_0_24171_0 <- 5500_981_0_29_17_0_24172_0 , 7213_977_0_29_17_0_24176_0
7213_977_0_29_17_0_24176_0 <- 7200_977_0_29_17_0_24178_0 , 7191_977_0_29_17_0_24179_0
7191_977_0_29_17_0_24179_0 <- 7191_977_0_29_17_0_24181_0
7200_977_0_29_17_0_24178_0 <- 7191_977_0_29_17_0_24181_0
7191_977_0_29_17_0_24181_0 <- 7178_977_0_29_17_0_24184_0 , 7169_977_0_29_17_0_24185_0
7169_977_0_29_17_0_24185_0 <- 7169_977_0_29_17_0_24186_0
7178_977_0_29_17_0_24184_0 <- 7169_977_0_29_17_0_24186_0
7169_977_0_29_17_0_24186_0 <- 7156_977_0_29_17_0_24187_0 , 7146_977_0_29_17_0_24188_0
7146_977_0_29_17_0_24188_0 <- 7146_977_0_29_17_0_24190_0
7156_977_0_29_17_0_24187_0 <- 7146_977_0_29_17_0_24190_0
7146_977_0_29_17_0_24190_0 <- 7133_977_0_29_17_0_24192_0 , 7122_977_0_29_17_0_24193_0
7122_977_0_29_17_0_24193_0 <- 7122_977_0_29_17_0_24196_0
7133_977_0_29_17_0_24192_0 <- 7122_977_0_29_17_0_24196_0
7122_977_0_29_17_0_24196_0 <- 7109_977_0_29_17_0_24198_0 , 7096_977_0_29_17_0_24199_0
5500_981_0_29_17_0_24172_0 <- 5479_979_0_29_17_0_24200_0
5508_981_0_29_17_0_24217_0 <- 5479_979_0_29_17_0_24200_0
7096_977_0_29_17_0_24199_0 <- 7096_977_0_29_17_0_24201_0
7109_977_0_29_17_0_24198_0 <- 7096_977_0_29_17_0_24201_0
5479_979_0_29_17_0_24200_0 <- 5134_978_0_29_17_0_24202_0 , 5154_978_0_29_17_0_24203_0 , 5194_977_0_29_17_0_24204_0 , 5467_977_0_29_17_0_24205_0 , 5217_977_0_29_17_0_24219_0 , 5303_977_0_29_17_0_24220_0 , 5390_977_0_29_17_0_24221_0
7096_977_0_29_17_0_24201_0 <- 7083_977_0_29_17_0_24206_0 , 7066_977_0_29_17_0_24207_0
5166_978_0_29_17_0_24211_0 <- 5146_978_0_29_17_0_24208_0
5154_978_0_29_17_0_24203_0 <- 5146_978_0_29_17_0_24208_0
5467_977_0_29_17_0_24205_0 <- 5380_977_0_29_17_0_24209_0
5390_977_0_29_17_0_24221_0 <- 5380_977_0_29_17_0_24209_0
7066_977_0_29_17_0_24207_0 <- 7066_977_0_29_17_0_24210_0
7083_977_0_29_17_0_24206_0 <- 7066_977_0_29_17_0_24210_0
5207_977_0_29_17_0_24216_0 <- 5166_978_0_29_17_0_24211_0
5194_977_0_29_17_0_24204_0 <- 5166_978_0_29_17_0_24211_0
5380_977_0_29_17_0_24209_0 <- 5293_977_0_29_17_0_24212_0
5303_977_0_29_17_0_24220_0 <- 5293_977_0_29_17_0_24212_0
7066_977_0_29_17_0_24210_0 <- 7053_977_0_29_17_0_24213_0 , 7026_978_0_29_17_0_24214_0
5293_977_0_29_17_0_24212_0 <- 5207_977_0_29_17_0_24216_0
5217_977_0_29_17_0_24219_0 <- 5207_977_0_29_17_0_24216_0
7026_978_0_29_17_0_24214_0 <- 5508_981_0_29_17_0_24217_0
7053_977_0_29_17_0_24213_0 <- 5508_981_0_29_17_0_24217_0
5146_978_0_29_17_0_24208_0 <- 5771_982_0_29_17_0_24218_0
5134_978_0_29_17_0_24202_0 <- 5771_982_0_29_17_0_24218_0
5771_982_0_29_17_0_24218_0 <- 5588_980_0_29_17_0_24222_0 , 5613_980_0_29_17_0_24223_0 , 5663_980_0_29_17_0_24227_0
5663_980_0_29_17_0_24227_0 <- 5604_980_0_29_17_0_24226_0
5613_980_0_29_17_0_24223_0 <- 5604_980_0_29_17_0_24226_0
5604_980_0_29_17_0_24226_0 <- 2385_987_0_29_17_0_24228_0
5588_980_0_29_17_0_24222_0 <- 2385_987_0_29_17_0_24228_0
5529_981_0_31_18_0_24229_0 <- 5500_981_0_31_18_0_24230_0 , 7213_977_0_31_18_0_24234_0
7213_977_0_31_18_0_24234_0 <- 7200_977_0_31_18_0_24236_0 , 7191_977_0_31_18_0_24237_0
7191_977_0_31_18_0_24237_0 <- 7191_977_0_31_18_0_24239_0
7200_977_0_31_18_0_24236_0 <- 7191_977_0_31_18_0_24239_0
7191_977_0_31_18_0_24239_0 <- 7178_977_0_31_18_0_24242_0 , 7169_977_0_31_18_0_24243_0
7169_977_0_31_18_0_24243_0 <- 7169_977_0_31_18_0_24244_0
7178_977_0_31_18_0_24242_0 <- 7169_977_0_31_18_0_24244_0
7169_977_0_31_18_0_24244_0 <- 7156_977_0_31_18_0_24245_0 , 7146_977_0_31_18_0_24246_0
7146_977_0_31_18_0_24246_0 <- 7146_977_0_31_18_0_24248_0
7156_977_0_31_18_0_24245_0 <- 7146_977_0_31_18_0_24248_0
7146_977_0_31_18_0_24248_0 <- 7133_977_0_31_18_0_24250_0 , 7122_977_0_31_18_0_24251_0
7122_977_0_31_18_0_24251_0 <- 7122_977_0_31_18_0_24254_0
7133_977_0_31_18_0_24250_0 <- 7122_977_0_31_18_0_24254_0
7122_977_0_31_18_0_24254_0 <- 7109_977_0_31_18_0_24256_0 , 7096_977_0_31_18_0_24257_0
5500_981_0_31_18_0_24230_0 <- 5479_979_0_31_18_0_24258_0
5508_981_0_31_18_0_24275_0 <- 5479_979_0_31_18_0_24258_0
7096_977_0_31_18_0_24257_0 <- 7096_977_0_31_18_0_24259_0
7109_977_0_31_18_0_24256_0 <- 7096_977_0_31_18_0_24259_0
5479_979_0_31_18_0_24258_0 <- 5134_978_0_31_18_0_24260_0 , 5154_978_0_31_18_0_24261_0 , 5194_977_0_31_18_0_24262_0 , 5467_977_0_31_18_0_24263_0 , 5217_977_0_31_18_0_24277_0 , 5303_977_0_31_18_0_24278_0 , 5390_977_0_31_18_0_24279_0
7096_977_0_31_18_0_24259_0 <- 7083_977_0_31_18_0_24264_0 , 7066_977_0_31_18_0_24265_0
5166_978_0_31_18_0_24269_0 <- 5146_978_0_31_18_0_24266_0
5154_978_0_31_18_0_24261_0 <- 5146_978_0_31_18_0_24266_0
5467_977_0_31_18_0_24263_0 <- 5380_977_0_31_18_0_24267_0
5390_977_0_31_18_0_24279_0 <- 5380_977_0_31_18_0_24267_0
7066_977_0_31_18_0_24265_0 <- 7066_977_0_31_18_0_24268_0
7083_977_0_31_18_0_24264_0 <- 7066_977_0_31_18_0_24268_0
5207_977_0_31_18_0_24274_0 <- 5166_978_0_31_18_0_24269_0
5194_977_0_31_18_0_24262_0 <- 5166_978_0_31_18_0_24269_0
5380_977_0_31_18_0_24267_0 <- 5293_977_0_31_18_0_24270_0
5303_977_0_31_18_0_24278_0 <- 5293_977_0_31_18_0_24270_0
7066_977_0_31_18_0_24268_0 <- 7053_977_0_31_18_0_24271_0 , 7026_978_0_31_18_0_24272_0
5293_977_0_31_18_0_24270_0 <- 5207_977_0_31_18_0_24274_0
5217_977_0_31_18_0_24277_0 <- 5207_977_0_31_18_0_24274_0
7026_978_0_31_18_0_24272_0 <- 5508_981_0_31_18_0_24275_0
7053_977_0_31_18_0_24271_0 <- 5508_981_0_31_18_0_24275_0
5146_978_0_31_18_0_24266_0 <- 5771_982_0_31_18_0_24276_0
5134_978_0_31_18_0_24260_0 <- 5771_982_0_31_18_0_24276_0
5771_982_0_31_18_0_24276_0 <- 5588_980_0_31_18_0_24280_0 , 5613_980_0_31_18_0_24281_0 , 5663_980_0_31_18_0_24285_0
5663_980_0_31_18_0_24285_0 <- 5604_980_0_31_18_0_24284_0
5613_980_0_31_18_0_24281_0 <- 5604_980_0_31_18_0_24284_0
5604_980_0_31_18_0_24284_0 <- 2385_987_0_31_18_0_24286_0
5588_980_0_31_18_0_24280_0 <- 2385_987_0_31_18_0_24286_0
5529_983_1_33_19_0_24287_0 <- 5500_983_1_33_19_0_24288_0 , 7213_979_1_33_19_0_24292_0
7213_979_1_33_19_0_24292_0 <- 7200_979_1_33_19_0_24294_0 , 7191_979_1_33_19_0_24295_0
7191_979_1_33_19_0_24295_0 <- 7191_979_1_33_19_0_24297_0
7200_979_1_33_19_0_24294_0 <- 7191_979_1_33_19_0_24297_0
7191_979_1_33_19_0_24297_0 <- 7178_979_1_33_19_0_24300_0 , 7169_979_1_33_19_0_24301_0
7169_979_1_33_19_0_24301_0 <- 7169_979_1_33_19_0_24302_0
7178_979_1_33_19_0_24300_0 <- 7169_979_1_33_19_0_24302_0
7169_979_1_33_19_0_24302_0 <- 7156_979_1_33_19_0_24303_0 , 7146_979_1_33_19_0_24304_0
7146_979_1_33_19_0_24304_0 <- 7146_979_1_33_19_0_24306_0
7156_979_1_33_19_0_24303_0 <- 7146_979_1_33_19_0_24306_0
7146_979_1_33_19_0_24306_0 <- 7133_979_1_33_19_0_24308_0 , 7122_979_1_33_19_0_24309_0
7122_979_1_33_19_0_24309_0 <- 7122_979_1_33_19_0_24312_0
7133_979_1_33_19_0_24308_0 <- 7122_979_1_33_19_0_24312_0
7122_979_1_33_19_0_24312_0 <- 7109_979_1_33_19_0_24314_0 , 7096_979_1_33_19_0_24315_0
5500_983_1_33_19_0_24288_0 <- 5479_981_0_33_19_0_24316_0
5508_983_1_33_19_0_24333_0 <- 5479_981_0_33_19_0_24316_0
7096_979_1_33_19_0_24315_0 <- 7096_979_1_33_19_0_24317_0
7109_979_1_33_19_0_24314_0 <- 7096_979_1_33_19_0_24317_0
5479_981_0_33_19_0_24316_0 <- 5134_980_0_33_19_0_24318_0 , 5154_980_0_33_19_0_24319_0 , 5194_979_0_33_19_0_24320_0 , 5467_979_0_33_19_0_24321_0 , 5217_979_0_33_19_0_24335_0 , 5303_979_0_33_19_0_24336_0 , 5390_979_0_33_19_0_24337_0
7096_979_1_33_19_0_24317_0 <- 7083_979_1_33_19_0_24322_0 , 7066_979_1_33_19_0_24323_0
5166_980_0_33_19_0_24327_0 <- 5146_980_0_33_19_0_24324_0
5154_980_0_33_19_0_24319_0 <- 5146_980_0_33_19_0_24324_0
5467_979_0_33_19_0_24321_0 <- 5380_979_0_33_19_0_24325_0
5390_979_0_33_19_0_24337_0 <- 5380_979_0_33_19_0_24325_0
7066_979_1_33_19_0_24323_0 <- 7066_979_1_33_19_0_24326_0
7083_979_1_33_19_0_24322_0 <- 7066_979_1_33_19_0_24326_0
5207_979_0_33_19_0_24332_0 <- 5166_980_0_33_19_0_24327_0
5194_979_0_33_19_0_24320_0 <- 5166_980_0_33_19_0_24327_0
5380_979_0_33_19_0_24325_0 <- 5293_979_0_33_19_0_24328_0
5303_979_0_33_19_0_24336_0 <- 5293_979_0_33_19_0_24328_0
7066_979_1_33_19_0_24326_0 <- 7053_979_1_33_19_0_24329_0 , 7026_980_1_33_19_0_24330_0
5293_979_0_33_19_0_24328_0 <- 5207_979_0_33_19_0_24332_0
5217_979_0_33_19_0_24335_0 <- 5207_979_0_33_19_0_24332_0
7026_980_1_33_19_0_24330_0 <- 5508_983_1_33_19_0_24333_0
7053_979_1_33_19_0_24329_0 <- 5508_983_1_33_19_0_24333_0
5146_980_0_33_19_0_24324_0 <- 5771_984_0_33_19_0_24334_0
5134_980_0_33_19_0_24318_0 <- 5771_984_0_33_19_0_24334_0
5771_984_0_33_19_0_24334_0 <- 5588_982_0_33_19_0_24338_0 , 5613_982_0_33_19_0_24339_0 , 5663_982_0_33_19_0_24343_0
5663_982_0_33_19_0_24343_0 <- 5604_982_0_33_19_0_24342_0
5613_982_0_33_19_0_24339_0 <- 5604_982_0_33_19_0_24342_0
5604_982_0_33_19_0_24342_0 <- 2385_989_0_33_19_0_24344_0
5588_982_0_33_19_0_24338_0 <- 2385_989_0_33_19_0_24344_0
5529_983_1_35_20_0_24345_0 <- 5500_983_1_35_20_0_24346_0 , 7213_979_1_35_20_0_24350_0
7213_979_1_35_20_0_24350_0 <- 7200_979_1_35_20_0_24352_0 , 7191_979_1_35_20_0_24353_0
7191_979_1_35_20_0_24353_0 <- 7191_979_1_35_20_0_24355_0
7200_979_1_35_20_0_24352_0 <- 7191_979_1_35_20_0_24355_0
7191_979_1_35_20_0_24355_0 <- 7178_979_1_35_20_0_24358_0 , 7169_979_1_35_20_0_24359_0
7169_979_1_35_20_0_24359_0 <- 7169_979_1_35_20_0_24360_0
7178_979_1_35_20_0_24358_0 <- 7169_979_1_35_20_0_24360_0
7169_979_1_35_20_0_24360_0 <- 7156_979_1_35_20_0_24361_0 , 7146_979_1_35_20_0_24362_0
7146_979_1_35_20_0_24362_0 <- 7146_979_1_35_20_0_24364_0
7156_979_1_35_20_0_24361_0 <- 7146_979_1_35_20_0_24364_0
7146_979_1_35_20_0_24364_0 <- 7133_979_1_35_20_0_24366_0 , 7122_979_1_35_20_0_24367_0
7122_979_1_35_20_0_24367_0 <- 7122_979_1_35_20_0_24370_0
7133_979_1_35_20_0_24366_0 <- 7122_979_1_35_20_0_24370_0
7122_979_1_35_20_0_24370_0 <- 7109_979_1_35_20_0_24372_0 , 7096_979_1_35_20_0_24373_0
5500_983_1_35_20_0_24346_0 <- 5479_981_0_35_20_0_24374_0
5508_983_1_35_20_0_24391_0 <- 5479_981_0_35_20_0_24374_0
7096_979_1_35_20_0_24373_0 <- 7096_979_1_35_20_0_24375_0
7109_979_1_35_20_0_24372_0 <- 7096_979_1_35_20_0_24375_0
5479_981_0_35_20_0_24374_0 <- 5134_980_0_35_20_0_24376_0 , 5154_980_0_35_20_0_24377_0 , 5194_979_0_35_20_0_24378_0 , 5467_979_0_35_20_0_24379_0 , 5217_979_0_35_20_0_24393_0 , 5303_979_0_35_20_0_24394_0 , 5390_979_0_35_20_0_24395_0
7096_979_1_35_20_0_24375_0 <- 7083_979_1_35_20_0_24380_0 , 7066_979_1_35_20_0_24381_0
5166_980_0_35_20_0_24385_0 <- 5146_980_0_35_20_0_24382_0
5154_980_0_35_20_0_24377_0 <- 5146_980_0_35_20_0_24382_0
5467_979_0_35_20_0_24379_0 <- 5380_979_0_35_20_0_24383_0
5390_979_0_35_20_0_24395_0 <- 5380_979_0_35_20_0_24383_0
7066_979_1_35_20_0_24381_0 <- 7066_979_1_35_20_0_24384_0
7083_979_1_35_20_0_24380_0 <- 7066_979_1_35_20_0_24384_0
5207_979_0_35_20_0_24390_0 <- 5166_980_0_35_20_0_24385_0
5194_979_0_35_20_0_24378_0 <- 5166_980_0_35_20_0_24385_0
5380_979_0_35_20_0_24383_0 <- 5293_979_0_35_20_0_24386_0
5303_979_0_35_20_0_24394_0 <- 5293_979_0_35_20_0_24386_0
7066_979_1_35_20_0_24384_0 <- 7053_979_1_35_20_0_24387_0 , 7026_980_1_35_20_0_24388_0
5293_979_0_35_20_0_24386_0 <- 5207_979_0_35_20_0_24390_0
5217_979_0_35_20_0_24393_0 <- 5207_979_0_35_20_0_24390_0
7026_980_1_35_20_0_24388_0 <- 5508_983_1_35_20_0_24391_0
7053_979_1_35_20_0_24387_0 <- 5508_983_1_35_20_0_24391_0
5146_980_0_35_20_0_24382_0 <- 5771_984_0_35_20_0_24392_0
5134_980_0_35_20_0_24376_0 <- 5771_984_0_35_20_0_24392_0
5771_984_0_35_20_0_24392_0 <- 5588_982_0_35_20_0_24396_0 , 5613_982_0_35_20_0_24397_0 , 5663_982_0_35_20_0_24401_0
5663_982_0_35_20_0_24401_0 <- 5604_982_0_35_20_0_24400_0
5613_982_0_35_20_0_24397_0 <- 5604_982_0_35_20_0_24400_0
5604_982_0_35_20_0_24400_0 <- 2385_989_0_35_20_0_24402_0
5588_982_0_35_20_0_24396_0 <- 2385_989_0_35_20_0_24402_0
33212_989_0_37_14_0_24403_0 <- 32954_989_0_37_14_0_24404_0 , 33210_988_0_37_14_0_24405_0
33120_988_0_37_14_0_24407_0 <- 19968_979_0_37_14_0_24406_0
33210_988_0_37_14_0_24405_0 <- 19968_979_0_37_14_0_24406_0 , 33120_988_0_37_14_0_24407_0
32954_989_0_37_14_0_24404_0 <- 32922_989_0_37_14_0_24408_0
32958_989_0_37_14_0_24455_0 <- 32922_989_0_37_14_0_24408_0
19968_979_0_37_14_0_24406_0 <- 19828_975_0_37_14_0_24409_0 , 19958_976_0_37_14_0_24410_0
19828_975_0_37_14_0_24409_0 <- 19791_975_0_37_14_0_24411_0 , 19804_975_0_37_14_0_24431_0
19958_976_0_37_14_0_24410_0 <- 19843_976_0_37_14_0_24412_0 , 19921_975_0_37_14_0_24435_0
19843_976_0_37_14_0_24412_0 <- 19843_976_0_37_14_0_24414_0
19852_976_0_37_14_0_24443_0 <- 19843_976_0_37_14_0_24414_0
19804_975_0_37_14_0_24431_0 <- 19782_974_0_37_14_0_24416_0
19791_975_0_37_14_0_24411_0 <- 19782_974_0_37_14_0_24416_0
19782_974_0_37_14_0_24416_0 <- 19758_974_0_37_14_0_24420_0 , 19710_974_0_37_14_0_24421_0
19758_974_0_37_14_0_24420_0 <- 19686_976_0_37_14_0_24432_0
19710_974_0_37_14_0_24421_0 <- 19686_976_0_37_14_0_24432_0
19686_976_0_37_14_0_24432_0 <- 25055_971_0_37_14_0_24436_0
19843_976_0_37_14_0_24414_0 <- 25055_971_0_37_14_0_24436_0
19921_975_0_37_14_0_24435_0 <- 19897_975_0_37_14_0_24437_0 , 19852_976_0_37_14_0_24438_0
25055_971_0_37_14_0_24436_0 <- 24710_970_0_37_14_0_24439_0 , 24730_970_0_37_14_0_24440_0 , 24770_969_0_37_14_0_24441_0 , 25043_969_0_37_14_0_24442_0 , 24793_969_0_37_14_0_24450_0 , 24879_969_0_37_14_0_24451_0 , 24966_969_0_37_14_0_24452_0
19897_975_0_37_14_0_24437_0 <- 19852_976_0_37_14_0_24443_0
19852_976_0_37_14_0_24438_0 <- 19852_976_0_37_14_0_24443_0
24742_970_0_37_14_0_24446_0 <- 24722_970_0_37_14_0_24444_0
24730_970_0_37_14_0_24440_0 <- 24722_970_0_37_14_0_24444_0
25043_969_0_37_14_0_24442_0 <- 24956_969_0_37_14_0_24445_0
24966_969_0_37_14_0_24452_0 <- 24956_969_0_37_14_0_24445_0
24783_969_0_37_14_0_24449_0 <- 24742_970_0_37_14_0_24446_0
24770_969_0_37_14_0_24441_0 <- 24742_970_0_37_14_0_24446_0
24956_969_0_37_14_0_24445_0 <- 24869_969_0_37_14_0_24447_0
24879_969_0_37_14_0_24451_0 <- 24869_969_0_37_14_0_24447_0
24869_969_0_37_14_0_24447_0 <- 24783_969_0_37_14_0_24449_0
24793_969_0_37_14_0_24450_0 <- 24783_969_0_37_14_0_24449_0
24722_970_0_37_14_0_24444_0 <- 32958_989_0_37_14_0_24455_0
24710_970_0_37_14_0_24439_0 <- 32958_989_0_37_14_0_24455_0
33212_989_1_39_14_0_24456_0 <- 32954_989_1_39_14_0_24457_0 , 33210_988_1_39_14_0_24458_0
33120_988_1_39_14_0_24460_0 <- 19968_979_1_39_14_0_24459_0
33210_988_1_39_14_0_24458_0 <- 19968_979_1_39_14_0_24459_0 , 33120_988_1_39_14_0_24460_0
32954_989_1_39_14_0_24457_0 <- 32922_989_1_39_14_0_24461_0
32958_989_1_39_14_0_24508_0 <- 32922_989_1_39_14_0_24461_0
19968_979_1_39_14_0_24459_0 <- 19828_975_1_39_14_0_24462_0 , 19958_976_1_39_14_0_24463_0
19828_975_1_39_14_0_24462_0 <- 19791_975_1_39_14_0_24464_0 , 19804_975_1_39_14_0_24484_0
19958_976_1_39_14_0_24463_0 <- 19843_976_1_39_14_0_24465_0 , 19921_975_1_39_14_0_24488_0
19843_976_1_39_14_0_24465_0 <- 19843_976_1_39_14_0_24467_0
19852_976_1_39_14_0_24496_0 <- 19843_976_1_39_14_0_24467_0
19804_975_1_39_14_0_24484_0 <- 19782_974_1_39_14_0_24469_0
19791_975_1_39_14_0_24464_0 <- 19782_974_1_39_14_0_24469_0
19782_974_1_39_14_0_24469_0 <- 19758_974_1_39_14_0_24473_0 , 19710_974_1_39_14_0_24474_0
19758_974_1_39_14_0_24473_0 <- 19686_976_1_39_14_0_24485_0
19710_974_1_39_14_0_24474_0 <- 19686_976_1_39_14_0_24485_0
19686_976_1_39_14_0_24485_0 <- 25055_971_1_39_14_0_24489_0
19843_976_1_39_14_0_24467_0 <- 25055_971_1_39_14_0_24489_0
19921_975_1_39_14_0_24488_0 <- 19897_975_1_39_14_0_24490_0 , 19852_976_1_39_14_0_24491_0
25055_971_1_39_14_0_24489_0 <- 24710_970_1_39_14_0_24492_0 , 24730_970_1_39_14_0_24493_0 , 24770_969_1_39_14_0_24494_0 , 25043_969_1_39_14_0_24495_0 , 24793_969_1_39_14_0_24503_0 , 24879_969_1_39_14_0_24504_0 , 24966_969_1_39_14_0_24505_0
19897_975_1_39_14_0_24490_0 <- 19852_976_1_39_14_0_24496_0
19852_976_1_39_14_0_24491_0 <- 19852_976_1_39_14_0_24496_0
24742_970_1_39_14_0_24499_0 <- 24722_970_1_39_14_0_24497_0
24730_970_1_39_14_0_24493_0 <- 24722_970_1_39_14_0_24497_0
25043_969_1_39_14_0_24495_0 <- 24956_969_1_39_14_0_24498_0
24966_969_1_39_14_0_24505_0 <- 24956_969_1_39_14_0_24498_0
24783_969_1_39_14_0_24502_0 <- 24742_970_1_39_14_0_24499_0
24770_969_1_39_14_0_24494_0 <- 24742_970_1_39_14_0_24499_0
24956_969_1_39_14_0_24498_0 <- 24869_969_1_39_14_0_24500_0
24879_969_1_39_14_0_24504_0 <- 24869_969_1_39_14_0_24500_0
24869_969_1_39_14_0_24500_0 <- 24783_969_1_39_14_0_24502_0
24793_969_1_39_14_0_24503_0 <- 24783_969_1_39_14_0_24502_0
24722_970_1_39_14_0_24497_0 <- 32958_989_1_39_14_0_24508_0
24710_970_1_39_14_0_24492_0 <- 32958_989_1_39_14_0_24508_0
32398_991_0_41_14_0_24509_0 <- 32286_991_0_41_14_0_24510_0 , 33468_984_0_41_14_0_24517_0
32286_991_0_41_14_0_24510_0 <- 32254_991_0_41_14_0_24511_0
32290_991_0_41_14_0_24534_0 <- 32254_991_0_41_14_0_24511_0
33468_984_0_41_14_0_24517_0 <- 35398_979_0_41_14_0_24519_0 , 33420_983_0_41_14_0_24520_0
33447_984_0_41_14_0_24529_0 <- 33420_983_0_41_14_0_24520_0
33420_983_0_41_14_0_24520_0 <- 33401_983_0_41_14_0_24521_0 , 33355_984_0_41_14_0_24522_0
35343_979_0_103_14_0_24768_0 <- 35327_978_0_41_14_0_24523_0
35398_979_0_41_14_0_24519_0 <- 35327_978_0_41_14_0_24523_0 , 35343_979_0_103_14_0_24768_0
33401_983_0_41_14_0_24521_0 <- 33355_984_0_41_14_0_24524_0
33355_984_0_41_14_0_24522_0 <- 33355_984_0_41_14_0_24524_0
35327_978_0_41_14_0_24523_0 <- 35325_977_0_41_14_0_24526_0 , 33447_984_0_41_14_0_24529_0
33341_984_0_41_14_0_24532_0 <- 18845_980_0_41_14_0_24527_0
33355_984_0_41_14_0_24524_0 <- 18845_980_0_41_14_0_24527_0 , 33341_984_0_41_14_0_24532_0
35296_978_0_41_14_0_24533_0 <- 33447_984_0_41_14_0_24529_0
18845_980_0_41_14_0_24527_0 <- 18839_980_0_41_14_0_24530_0 , 18825_982_0_41_14_0_24531_0
35308_976_0_109_14_0_24773_0 <- 35296_978_0_41_14_0_24533_0
35325_977_0_41_14_0_24526_0 <- 35296_978_0_41_14_0_24533_0 , 35308_976_0_109_14_0_24773_0
18839_980_0_41_14_0_24530_0 <- 32290_991_0_41_14_0_24534_0
18825_982_0_41_14_0_24531_0 <- 32290_991_0_41_14_0_24534_0
32398_991_1_43_14_0_24535_0 <- 32286_991_1_43_14_0_24536_0 , 33468_984_1_43_14_0_24543_0
32286_991_1_43_14_0_24536_0 <- 32254_991_1_43_14_0_24537_0
32290_991_1_43_14_0_24560_0 <- 32254_991_1_43_14_0_24537_0
33468_984_1_43_14_0_24543_0 <- 35398_979_1_43_14_0_24545_0 , 33420_983_1_43_14_0_24546_0
33447_984_1_43_14_0_24555_0 <- 33420_983_1_43_14_0_24546_0
33420_983_1_43_14_0_24546_0 <- 33401_983_1_43_14_0_24547_0 , 33355_984_1_43_14_0_24548_0
35343_979_1_105_14_0_24771_0 <- 35327_978_1_43_14_0_24549_0
35398_979_1_43_14_0_24545_0 <- 35327_978_1_43_14_0_24549_0 , 35343_979_1_105_14_0_24771_0
33401_983_1_43_14_0_24547_0 <- 33355_984_1_43_14_0_24550_0
33355_984_1_43_14_0_24548_0 <- 33355_984_1_43_14_0_24550_0
35327_978_1_43_14_0_24549_0 <- 35325_977_1_43_14_0_24552_0 , 33447_984_1_43_14_0_24555_0
33341_984_1_43_14_0_24558_0 <- 18845_980_1_43_14_0_24553_0
33355_984_1_43_14_0_24550_0 <- 18845_980_1_43_14_0_24553_0 , 33341_984_1_43_14_0_24558_0
35296_978_1_43_14_0_24559_0 <- 33447_984_1_43_14_0_24555_0
18845_980_1_43_14_0_24553_0 <- 18839_980_1_43_14_0_24556_0 , 18825_982_1_43_14_0_24557_0
35308_976_1_113_14_0_24775_0 <- 35296_978_1_43_14_0_24559_0
35325_977_1_43_14_0_24552_0 <- 35296_978_1_43_14_0_24559_0 , 35308_976_1_113_14_0_24775_0
18839_980_1_43_14_0_24556_0 <- 32290_991_1_43_14_0_24560_0
18825_982_1_43_14_0_24557_0 <- 32290_991_1_43_14_0_24560_0
9698_961_1_9_15_0_22651_0 <- 9689_961_1_45_15_0_24562_0
9712_961_1_45_15_0_24561_0 <- 9689_961_1_45_15_0_24562_0
9675_961_1_9_15_0_22650_0 <- 9636_962_1_45_15_0_24564_0
9689_961_1_45_15_0_24562_0 <- 9636_962_1_45_15_0_24564_0
9698_966_1_5_15_0_21350_0 <- 9689_966_1_47_15_0_24566_0
9712_966_1_47_15_0_24565_0 <- 9689_966_1_47_15_0_24566_0
9675_966_1_5_15_0_21349_0 <- 9636_967_1_47_15_0_24568_0
9689_966_1_47_15_0_24566_0 <- 9636_967_1_47_15_0_24568_0
9698_961_1_11_16_0_23214_0 <- 9689_961_1_49_16_0_24570_0
9712_961_1_49_16_0_24569_0 <- 9689_961_1_49_16_0_24570_0
9675_961_1_11_16_0_23213_0 <- 9636_962_1_49_16_0_24572_0
9689_961_1_49_16_0_24570_0 <- 9636_962_1_49_16_0_24572_0
9698_966_1_7_16_0_21879_0 <- 9689_966_1_51_16_0_24574_0
9712_966_1_51_16_0_24573_0 <- 9689_966_1_51_16_0_24574_0
9675_966_1_7_16_0_21878_0 <- 9636_967_1_51_16_0_24576_0
9689_966_1_51_16_0_24574_0 <- 9636_967_1_51_16_0_24576_0
4233_990_1_13_17_0_23535_0 <- 4214_990_1_53_17_0_24581_0
4241_990_1_53_17_0_24577_0 <- 4214_990_1_53_17_0_24581_0
3873_990_1_13_17_0_23555_0 <- 3855_990_1_53_17_0_24585_0
4214_990_1_53_17_0_24581_0 <- 3855_990_1_53_17_0_24585_0
3659_990_1_13_17_0_23547_0 <- 3640_990_1_53_17_0_24589_0
3855_990_1_53_17_0_24585_0 <- 3640_990_1_53_17_0_24589_0
3524_990_1_13_17_0_23532_0 <- 3488_991_1_53_17_0_24593_0
3640_990_1_53_17_0_24589_0 <- 3488_991_1_53_17_0_24593_0
4233_990_1_15_18_0_23619_0 <- 4214_990_1_55_18_0_24598_0
4241_990_1_55_18_0_24594_0 <- 4214_990_1_55_18_0_24598_0
3873_990_1_15_18_0_23639_0 <- 3855_990_1_55_18_0_24602_0
4214_990_1_55_18_0_24598_0 <- 3855_990_1_55_18_0_24602_0
3659_990_1_15_18_0_23631_0 <- 3640_990_1_55_18_0_24606_0
3855_990_1_55_18_0_24602_0 <- 3640_990_1_55_18_0_24606_0
3524_990_1_15_18_0_23616_0 <- 3488_991_1_55_18_0_24610_0
3640_990_1_55_18_0_24606_0 <- 3488_991_1_55_18_0_24610_0
4233_992_0_17_19_0_23703_0 <- 4214_992_0_57_19_0_24615_0
4241_992_0_57_19_0_24611_0 <- 4214_992_0_57_19_0_24615_0
3873_992_0_17_19_0_23723_0 <- 3855_992_0_57_19_0_24619_0
4214_992_0_57_19_0_24615_0 <- 3855_992_0_57_19_0_24619_0
3659_992_0_17_19_0_23715_0 <- 3640_992_0_57_19_0_24623_0
3855_992_0_57_19_0_24619_0 <- 3640_992_0_57_19_0_24623_0
3524_992_0_17_19_0_23700_0 <- 3488_993_0_57_19_0_24627_0
3640_992_0_57_19_0_24623_0 <- 3488_993_0_57_19_0_24627_0
4233_992_0_19_20_0_23787_0 <- 4214_992_0_59_20_0_24632_0
4241_992_0_59_20_0_24628_0 <- 4214_992_0_59_20_0_24632_0
3873_992_0_19_20_0_23807_0 <- 3855_992_0_59_20_0_24636_0
4214_992_0_59_20_0_24632_0 <- 3855_992_0_59_20_0_24636_0
3659_992_0_19_20_0_23799_0 <- 3640_992_0_59_20_0_24640_0
3855_992_0_59_20_0_24636_0 <- 3640_992_0_59_20_0_24640_0
3524_992_0_19_20_0_23784_0 <- 3488_993_0_59_20_0_24644_0
3640_992_0_59_20_0_24640_0 <- 3488_993_0_59_20_0_24644_0
28165_996_1_61_14_0_24645_0 <- 28036_996_1_61_14_0_24646_0 , 28044_996_1_61_14_0_24653_0
28036_996_1_61_14_0_24646_0 <- 29192_1003_0_61_14_0_24648_0
28044_996_1_61_14_0_24653_0 <- 29192_1003_0_61_14_0_24648_0
33904_974_0_63_14_0_24654_0 <- 33843_973_0_63_14_0_24655_0 , 33848_973_0_63_14_0_24660_0
33843_973_0_63_14_0_24655_0 <- 33781_974_0_63_14_0_24661_0
33848_973_0_63_14_0_24660_0 <- 33781_974_0_63_14_0_24661_0
33904_974_1_65_14_0_24662_0 <- 33843_973_1_65_14_0_24663_0 , 33848_973_1_65_14_0_24668_0
33843_973_1_65_14_0_24663_0 <- 33781_974_1_65_14_0_24669_0
33848_973_1_65_14_0_24668_0 <- 33781_974_1_65_14_0_24669_0
3073_989_0_67_19_0_24670_0 <- 3012_988_0_67_19_0_24671_0 , 3017_988_0_67_19_0_24676_0
3012_988_0_67_19_0_24671_0 <- 2950_989_0_67_19_0_24677_0
3017_988_0_67_19_0_24676_0 <- 2950_989_0_67_19_0_24677_0
3073_989_0_69_20_0_24678_0 <- 3012_988_0_69_20_0_24679_0 , 3017_988_0_69_20_0_24684_0
3012_988_0_69_20_0_24679_0 <- 2950_989_0_69_20_0_24685_0
3017_988_0_69_20_0_24684_0 <- 2950_989_0_69_20_0_24685_0
19414_979_0_95_14_0_24750_0 <- 19347_979_0_95_14_0_24751_0 , 19261_979_0_95_14_0_24752_0
19347_979_0_95_14_0_24751_0 <- 19261_979_0_95_14_0_24753_0
19261_979_0_95_14_0_24752_0 <- 19261_979_0_95_14_0_24753_0
19414_979_1_97_14_0_24754_0 <- 19347_979_1_97_14_0_24755_0 , 19261_979_1_97_14_0_24756_0
19347_979_1_97_14_0_24755_0 <- 19261_979_1_97_14_0_24757_0
19261_979_1_97_14_0_24756_0 <- 19261_979_1_97_14_0_24757_0
3338_994_0_99_19_0_24758_0 <- 3271_994_0_99_19_0_24759_0 , 3185_994_0_99_19_0_24760_0
3271_994_0_99_19_0_24759_0 <- 3185_994_0_99_19_0_24761_0
3185_994_0_99_19_0_24760_0 <- 3185_994_0_99_19_0_24761_0
3338_994_0_101_20_0_24762_0 <- 3271_994_0_101_20_0_24763_0 , 3185_994_0_101_20_0_24764_0
3271_994_0_101_20_0_24763_0 <- 3185_994_0_101_20_0_24765_0
3185_994_0_101_20_0_24764_0 <- 3185_994_0_101_20_0_24765_0
0_0_0_0_0_0_0_0 <-